See https://meta.wikimedia.org/w/index.php?title=User_talk:PiRSquared17&curid=272438&diff=15817112&oldid=15810506 and https://meta.wikimedia.org/w/index.php?title=Special%3ALog&type=notifytranslators
There was a translation notification but no corresponding log entry about it.