On Tue, 20 Oct 2009, Lawrence Paulson wrote: > HOL is not building, see attached. Don't ask for the change set identifier > because I couldn't tell you even to save my life.
How about "hg id" then?
It works again in 60a098883d81
Makarius
