Now bug#12140 is fixed, so this bug is fixed.
Thanks for the report.