Committed in r204842, thanks! On Mar 26, 2014, at 11:36 , Daniel Fahlgren <daniel at fahlgren.se> wrote: > Hi, > > this patch removes the completed identical checkers from the list of > potential ones. > > Cheers, > Daniel Fahlgren > <potential_checkers.diff>