![](https://secure.gravatar.com/avatar/74d41c3215dcdd377343cdc47311757c.jpg?s=120&d=mm&r=g)
27 Aug
2023
27 Aug
'23
1:24 p.m.
Am So., 27. Aug. 2023 um 19:54 Uhr schrieb Xavier B. : What is the state of this problem?
Is it some deadline here? I need to have a "production" document in mid september to show to my
students.
Can you please make a "push" in this topic. Just update your installation, the problem is already fixed.
Wolfgang