What's that 12.205.247.27 deletion? 

I see IP 12.205.247.27 made some kind of change a few days ago. However, instead of someone undo'ing the change, it was actually removed. What happened there? That IP doesn't seem to have vandalizing habits - there are only a few edits from there.