Hello, On Thu, Oct 08, 2015 at 09:17:37AM +0000, Efraim Flashner wrote: > Correct "Revert "gnu: camlp4: Remove extra input."" > This corrects a typo in 0d1c0660d7b446188b36f19d0dd79d8f97bd4360.
I am not sure how the typo came in; my only explanation is that you reverted by hand, whereas git revert d04efa0fff908de0f8822a27582b4b1c3dcae553. should have done the job. Andreas
