]> gitweb.fluxo.info Git - bootless.git/commitdiff
Merge branch 'develop' into debian
authorSilvio Rhatto <rhatto@riseup.net>
Sun, 3 Jul 2016 17:09:50 +0000 (14:09 -0300)
committerSilvio Rhatto <rhatto@riseup.net>
Sun, 3 Jul 2016 17:09:50 +0000 (14:09 -0300)

Trivial merge