chiark / gitweb /
Merge branch 'makebs-updates' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Thu, 15 Sep 2016 20:38:43 +0000 (20:38 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Thu, 15 Sep 2016 20:38:43 +0000 (20:38 +0000)
Makebs updates

See merge request !167


Trivial merge