4 ms·He most certainly did! But did you notice the commit says "original patch by Éric Araujo" ?by eliben 13y agoHe most certainly did! But did you notice the commit says "original patch by Éric Araujo" ?