On 12.02.2015 15:12, Justin M. Forbes wrote: > Is the problem reproducible on 3.19? I will leave 3.19.0 in > rawhide-nodebug for a couple of days to allow testing. > 3.19.0 isn't really to recommend. ;) 3.18.7 is OK.