1. 2018-12-10 [darcs-devel] [patch1755] disentangle D.R.State.filte darcs-dev Ben Franksen 2. 2018-12-07 [darcs-devel] [patch1755] disentangle D.R.State.filte darcs-dev Ganesh Sittampalam 3. 2018-12-07 [darcs-devel] [patch1755] disentangle D.R.State.filte darcs-dev Ganesh Sittampalam 4. 2018-12-03 [darcs-devel] [patch1755] disentangle D.R.State.filte darcs-dev Ben Franksen 5. 2018-11-18 [darcs-devel] [patch1755] disentangle D.R.State.filte darcs-dev Ganesh Sittampalam 6. 2018-11-18 [darcs-devel] [patch1755] disentangle D.R.State.filte darcs-dev Ben Franksen 7. 2018-11-18 [darcs-devel] [patch1755] disentangle D.R.State.filte darcs-dev Ganesh Sittampalam 8. 2018-10-18 [darcs-devel] [patch1755] disentangle D.R.State.filte darcs-dev Ben Franksen