chiark / gitweb /
Merge branch 'supportlib' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Mon, 13 Feb 2017 19:05:44 +0000 (19:05 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Mon, 13 Feb 2017 19:05:44 +0000 (19:05 +0000)
makebs: bump support repo to r43

See merge request !205


Trivial merge