debian/1.2-3

Joao Eriberto Mota Filho

@eriberto

f5a15348 · * GCC 4.3 patch (Closes: #417428) · Oct 28, 2014

Tagging debian version 1.2-3.