Code

contrib/diffall: eliminate duplicate while loops