4 ms·

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