On Aug 8, 2006, at 11:22, Jeremias Maerki wrote:
I think that should work. Please commit.
Done. FYI: not to get all your hopes up, but I still have those modifications WRT table-borders --collapsing borders-- in the pipeline. Should be ready to test quite soon now...