#2531: Prune duplicates in ghci history
-------------------------------------+-------------------------------------
Reporter: venkat | Owner:
Type: feature request | Status: new
Priority: lowest | Milestone: 7.12.1
Component: GHCi | Version: 6.8.3
Resolution: | Keywords:
Operating System: Unknown/Multiple | Architecture:
Type of failure: Documentation | Unknown/Multiple
bug | Test Case:
Blocked By: | Blocking:
Related Tickets: | Differential Revisions:
-------------------------------------+-------------------------------------
Comment (by Thomas Miedema