Merge tag 'sisu_7.1.2' into debian/sid
authorRalph Amissah <ralph@amissah.com>
Mon, 18 May 2015 22:40:01 +0000 (18:40 -0400)
committerRalph Amissah <ralph@amissah.com>
Mon, 18 May 2015 22:40:01 +0000 (18:40 -0400)
SiSU 7.1.2


Trivial merge