[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Our git just broke
From: |
Leo Famulari |
Subject: |
Re: Our git just broke |
Date: |
Sat, 13 Aug 2016 19:11:10 -0400 |
User-agent: |
Mutt/1.6.0 (2016-04-01) |
On Sat, Aug 13, 2016 at 03:33:29PM +0000, ng0 wrote:
> It is reverted and has no immediate priority as I read.
> I can do so tomorrow or later today. Sorry that my commit broke it, I
> thought the message about twice defined license was just verbose. Now I
> know this can break the make.
Correct, no immediate priority. The solution is to make all the licenses
in version-control.scm to use a prefix, as in avr.scm.