Closed kohlhase closed 2 years ago
Assuming you mean the space in front of "Consider", that could also be a paragraph indent... Otherwise, might be fixed with #53ede55ec34902f0efb5c74052688f05f570cebc (on newsproof-branch)
indeed, it is.
The leak is back, ...
This whitespace does not come from sproblem - it comes from DCMcreators and DCMdate in the preludes. I will push a fix for MiKoCourses/meta-inf
No, this is still not fixed. Same behavior as above.
did you pull MiKoCourses/meta-inf?
ah, no. Will try.
thanks for fixing my stuff.
the following screenshot shows it.