The fix from bug #131251 doesn't seem to be that effective. By looking at debian bug #436011 and #436112 the latter solution by Debian seems more correct. I would therefore recommend to resubmit by preferring the debian change to the ubuntu one.
The fix from bug #131251 doesn't seem to be that effective. By looking at debian bug #436011 and #436112 the latter solution by Debian seems more correct.
I would therefore recommend to resubmit by preferring the debian change to the ubuntu one.