1. 2019-06-02 [darcs-devel] [patch1782] remove option --restrict-pa darcs-dev Ganesh Sittampalam 2. 2018-12-04 [darcs-devel] [patch1782] remove option --restrict-pa darcs-dev Ben Franksen 3. 2018-12-04 [darcs-devel] [patch1782] remove option --restrict-pa darcs-dev Ben Franksen