Svante Signell, on Thu 21 Apr 2016 12:22:25 +0200, wrote: > On Wed, 2016-04-20 at 23:49 +0200, Samuel Thibault wrote: > > Svante Signell, on Wed 20 Apr 2016 23:40:31 +0200, wrote: > ... > > > It would be much better to create custom versions of a given kernel, > > > like gnumach-1.6.custom<current date> or gnumach-1.6.custom1, > > > gnumach-1.6.custom2, etc > > Feel free to propose something which looks good :) > > What about this?
Applied with a small modification, thanks. Samuel

