]> git.tue.mpg.de Git - paraslash.git/commitdiff
Merge branch 'maint'
authorAndre Noll <maan@tuebingen.mpg.de>
Fri, 6 Jan 2017 15:18:15 +0000 (16:18 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 6 Jan 2017 15:18:15 +0000 (16:18 +0100)
* maint:
  base64: Remove an unused variable.


Trivial merge