On Sun, 12 Jan 2014, Thomas Mueller wrote: > I also am trying to decide which is stabler between 10-prerelease and 11-HEAD. 10-STABLE has been very solid for me, updating from source.