Alleged "hack" of our site: just a spam

Submitted by Pierre Letouzey on 23 Aug 2017

The alleged "hack" of coq.inria.fr that led to several days of downtime for investigations was nothing more than a spam bug report. More details here.