Emmanuel Engelhart wrote:
A patch to correct [ 980312 ] Table markup eats initial attribute.
Thanks. I've checked in your change. Apparently the programmer thought
that people would always put a space after the "{|", and personally,
I'd prefer if you did for readability :)
I vaguely remember that there was a reason for it; probably compensating
for a bug elsewhere that is now fixed :-)
Magnus