debian/2.8.8dev.12-1

Axel Beckert

@abe

d1cf9161 · Imported Debian patch 2.8.8dev.12-1 · Feb 12, 2015

Debian release 2.8.8dev.12-1