On Sat, May 14, 2016 at 09:55:01AM +0200, Federico Beffa wrote: > > Officially this is version 9.4 and I suppose the coming release will > > have that number. I will then use 9.3-1.41d94b07 so that going to 9.4 > > will be seen as an upgrade. > Well, the new release has just appeared :-) So I will switch to it > immediately.
:-) Andreas
