Fix Portuguese locale: correct milhar cardinal value and milissegundo spelling (#1967)
The story of the bug "Fix Portuguese locale: correct milhar cardinal value and milissegundo spelling (#1967)" and how each model did on it.
Models fixed it in 5 of 6 recorded runs. The bug is in commit e7f110f of the repository's git history and the real fix is commit bdbf717. A model gets the code at the first commit and the repository's own tests decide if it fixed the bug.