Bug#1137720: close this bug report, fixed

[Jeroen Diederen]

This bug may be closed since the problem has been fixed.
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1146470