2 patches for repository http://darcs.net:
Fri Jun 10 10:21:49 CEST 2011 Trent W. Buck <trentbuck@gmail.com>
* Accept issue1714: ALL mutex + foo no-mutex shouldn't reduce to foo mutex.
Fri Jun 10 10:30:29 CEST 2011 Florent Becker <florent.becker@ens-lyon.org>
* resolve issue1714: make --no-{pre,post}hook and --{pre,post}hook interact sensibly