rrnewton/haddock — comment on commit 8ae2b7df6749d37df93a4ba5d7e3a6a2e7002b1a
File:  line 0
By rrnewton:

Hi David -- Ah, the benefits of code review!

This was sloppy; I must admit I have no idea where that change came from. I didn't intentionally make it. I think it must have been a glitch in my git usage of some kind? Was the changed line from somewhere in the history of the repo?

Otherwise, I must posit that gremlins changed it.