[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: 01/01: Correct "Revert "gnu: camlp4: Remove extra input.""
|
From: |
Andreas Enge |
|
Subject: |
Re: 01/01: Correct "Revert "gnu: camlp4: Remove extra input."" |
|
Date: |
Thu, 8 Oct 2015 11:49:16 +0200 |
|
User-agent: |
Mutt/1.5.23 (2014-03-12) |
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
| [Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: 01/01: Correct "Revert "gnu: camlp4: Remove extra input."",
Andreas Enge <=