chiark / gitweb /
Merge branch 'recent-bug-fixes' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 29 May 2014 20:24:39 +0000 (20:24 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 29 May 2014 20:24:39 +0000 (20:24 +0000)
Recent bug fixes

Fix a couple of bugs from the tracker.


Trivial merge