Eric S Fraga <[email protected]> writes: > No, the problem is no longer there! Sorry I didn't update org before > checking this out yesterday. I don't tend to update while working on a > paper or talk that has a deadline, just in case... Anyway, this problem > seems to be fixed. Many thanks!
Thanks for double-checking! -- Bastien
