On Thu, Jul 25, 2019 at 11:08:00AM +0200, Jean-Marc Lasgouttes wrote: > Le 23/07/2019 ?? 10:37, Pavel Sanda a écrit : >> I would indeed prefer to save few kittens here and there so unless you >> want >> to change release recipy for 1) we could stick with older version. > > I like your solution. I did not know about export.
I luckily stumbled upon it when carefully reading my removed comments in 8bbc660a25f981 :) Pavel
