Sat, 25 Aug 2012 09:20:15 +0200 touch: simplify locking pattern stable
Patrick Mezard <patrick@mezard.eu> [Sat, 25 Aug 2012 09:20:15 +0200] rev 514
touch: simplify locking pattern
Sat, 25 Aug 2012 08:51:37 +0200 evolve: factor out copy/paste in obssummary() stable
Patrick Mezard <patrick@mezard.eu> [Sat, 25 Aug 2012 08:51:37 +0200] rev 513
evolve: factor out copy/paste in obssummary()
Sat, 25 Aug 2012 08:30:02 +0200 evolve: avoid 'any' argument name in _picknexttroubled() stable
Patrick Mezard <patrick@mezard.eu> [Sat, 25 Aug 2012 08:30:02 +0200] rev 512
evolve: avoid 'any' argument name in _picknexttroubled()
(0) -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 tip