I reverted edits of [[ https://www.mediawiki.org/wiki/Special:Contributions/188.8.131.52 | this IP ]] (2 reverts in translation units), but only one of those edits were registered on the translated page: [[ https://www.mediawiki.org/w/index.php?title=Download/es&action=history | see history ]].
I made the reverts in quick succession (ctrl + click on each link).
Looks like the second edit got lost on the translated page. Although the translation unit got reverted, the page still displays the vandalized translation unit.
After a null edit on the translation unit, the edit got through the translated page.