9 Sep
2013
9 Sep
'13
9:25 a.m.
Hi,
Fortunately or unfortunately, I can build GHC head today without any reverting. I will reset the GHC tree to yesterday and try again.
Never mind. This is my misunderstanding. I cannot build GHC head today. I sent necessary information to Jan and Austin personally. --Kazu