I pushed the 4.1 tag for evolve last friday. This version introduces multiple UI improvement: - amend: add -D/--current-date option - amend: add -U/--current-user option - evolve: add a --tool option - evolve: add a --confirm option (and various small changes around obsmarkers exchange) -- Pierre-Yves David