Aha, thanks! It seems like GitHub needs at least 8 characters of a commit hash because of the size of our repository. Did you see e7c7262 somewhere in our UI? If so we should increase the number of characters being displayed 
Anway, you definitely have the fix, so there must be something else going on here. Could you ask an affected user to share their exact User Agent? You can find it like this.