adotey/HAC — comment on commit ebc4cc56a82390949cbac35231cf654d5fade5bb
File: Milestone.tex line 46
By adotey:

Old.