On Freitag, 6. Januar 2012, Andreas Beckmann wrote: > don't forget to remove */fail/*.kpr so that they get recomputed with the > new check merged & pushed & done. thanks!