Comment 14 for bug 723273

Revision history for this message
John Lea (johnlea) wrote :

@pavolzetor:

I have reported this bug separately as #848897 , thanks for spotting and reporting this issue.