Merge remote-tracking branch 'git-svn' into upstream

Change-Id: Id7c3890925cf4b9ad2f07a8c50a369301d44d35a
Merge branch 'upstream' of ssh://gerrit.wikimedia.org:29418/operations/debs/latexml into upstream