debian/1.11.2-2

Dimitrios Eftaxiopoulos

@eftaxiop-guest

9986abcb · Ammend symbols files and create debian/source/options file · Aug 19, 2011

Prepare Debian version 1.11.2-2