-
Herbert Valerio Riedel authored
The d36a2d7c commit was overzealous, as it not only removed the obsolete GHC HEAD entry, but also the non-GHC HEAD entry which was there on purpose.
879ffba4
The d36a2d7c commit was overzealous, as it not only removed the obsolete GHC HEAD entry, but also the non-GHC HEAD entry which was there on purpose.