
8 Sep
2013
8 Sep
'13
11:55 p.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