debian/1.3.12-12

Carsten Leonhardt

@leo

ee48b5ad · Apply patches from Fedora · Feb 28, 2019

tag debian release 1.3.12-12