Timwi wrote:
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