On 2024-12-22 16:55, Werner LEMBERG wrote:
In this example, \popContextProperty appears not to restore the property to the state it was in (unset) before \pushContextProperty. This is a bug, right?
[...]
[I'm extremely busy the next week without a chance looking at this issue.]
I expect to have time to look into it tomorrow. Unless somebody stops me, I'll create a ticket before I start.
-- Dan
