Bug Tracker Home
Lost your login?
Created on 2017-08-25.14:48:03 by gh, last changed 2017-08-25.14:48:03 by gh.
One of Ben's patches from his darcs-encoding branch. The change is not
stricly equivalent but the only affected output is the one of `darcs
show dependencies`. Accepted.