Re: [PATCH] Re: note/comment eats the blank after it?

[Bo Peng]

Conclusion: you can apply your patch to 1.4, but remove the % before
\end{comment}

Done.

Bo