chiark / gitweb /
Merge branch 'miscfixes' into 'master'
authorTorsten Grote <t+gitlab@grobox.de>
Tue, 4 Apr 2017 21:28:08 +0000 (21:28 +0000)
committerTorsten Grote <t+gitlab@grobox.de>
Tue, 4 Apr 2017 21:28:08 +0000 (21:28 +0000)
commit255addc53c2f67c100bd35c57bb8daa5dffddd86
treec5452f0d1b9a494dfa37596b29ecced86c317cf6
parentd6310ed52c4b9be5dce9ea7ddbdc9b7c9b47e4b3
parent53b69f507eac5415d1891612ecbe2aec623a5192
Merge branch 'miscfixes' into 'master'

misc fixes

Closes #268

See merge request !245