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.
