Paulo Reis a75c191d5b Make sure the errors and warnings count is re-read after a compile, even if it does not change. ...

GitOrigin-RevId: 481f33782e4b473e535fbeaee786f04f897f1697

2020-10-16 02:05:00 +00:00

..

web

Make sure the errors and warnings count is re-read after a compile, even if it does not change.

2020-10-16 02:05:00 +00:00