-
Stefan Tauner authored
The previous version sometimes failed to rebuild a document after a failed build attempt followed by a correct fix.
b5fd9268
The previous version sometimes failed to rebuild a document after a failed build attempt followed by a correct fix.