Select Git revision
-
Zeger-Jan van de Weg authored
Introduced by f20eadcb, meant to remove refs from Git using the wrong name. That never made it to a non-rc release and can be safely removed now.
Zeger-Jan van de Weg authoredIntroduced by f20eadcb, meant to remove refs from Git using the wrong name. That never made it to a non-rc release and can be safely removed now.
