Carl Eugen Hoyos <cehoyos <at> ag.or.at> writes: > Attached patch should make one more fate instance green. Michael found a bug, a fixed version was merged and --disable-everything is green now. Carl Eugen