--- Comment #3 from Andreas L. Delmelle <> 2009-08-20 
14:19:21 PDT ---
Quick fix committed in r806361.

I'm inclined to leave this bug open for the moment, as this is not really the
cleanest way to solve it. The real issue may ultimately still cause incorrect
preservation of trailing white-space in such markers. Likely to be hardly
noticeable, but still...

Configure bugmail:
------- You are receiving this mail because: -------
You are the assignee for the bug.

Reply via email to