see the discussion in patch2341 - after talking to Ben again we
decided to put it back
1 patch for repository darcs-unstable@darcs.net:/opt/darcs/screened:
patch 6cc26585eb3015354ffe8af5f9fb42101de7f01f
Author: Ganesh Sittampalam <ganesh@earth.li>
Date: Sat Mar 9 15:45:09 GMT 2024
* put back the set-default hint
This rolls back patch 8c1131290443248d423cabe0b5566f840e6cb3b3