[PaoloBarbolini]

Amazing work! This is the first time I've seen this kind of issue fixed so quickly.

GitHub should learn from this.