2016-09-07 13:31 GMT+02:00 Michael Niedermayer <michael at niedermayer.cc>: > Can type = task be used for non devel tasks No objections although I don't understand how #5832 can be "fixed" and I don't like tickets that by definition are unfixable. I regularly look at -random. Carl Eugen