Jeremias Maerki wrote:

> Ok, I'm planning to do this on Saturday. I was hoping to get a comment
> from Luca since he said he's working on footnotes and I don't want to
> make his life harder than necessary.

Oops, sorry, I did not mean to delay the merge!

I still have to solve some problems concerning the footnote separator, so
I'll apply my changes after the merge.


Reply via email to