Jürgen Spitzmüller <sp...@lyx.org> writes: > The message I referred to turned out to be a misunderstanding (the user used > trunk and thought it was branch).
Doh! Indeed. > Nevertheless, the commit seems appropriate. I hope so. It _looks_ safe, but one never knows... JMarc
