Hinrich Mahler commented on merge request !13 at Hinrich Mahler / MiSiTeX

Hinrich Mahler
2021-09-12T13:59:57Z

what is this commented stuff?