Skip to content

Warning counter fix

Konstantin Lehmann requested to merge WARNCounterFix into master

Release notes

Details

Hacky internal handling caused the counter of warning messages to be too high in error after summary tex file was written.

Edited by Konstantin Lehmann

Merge request reports