![](https://secure.gravatar.com/avatar/74d41c3215dcdd377343cdc47311757c.jpg?s=120&d=mm&r=g)
21 Nov
2020
21 Nov
'20
3:07 p.m.
Hi, \properties_stop calls itself \protected\def\properties_stop {\properties_stop \popmacro\properties_stop} Wolfgang