Bug#799534: This bug report can be closed

[João Pirralha]

Hello,

this issue was addressed in version 4.12.1-4 in12 Jun 2016, so this bug 
report can be closed.

Thank you!