https://bugzilla.wikimedia.org/show_bug.cgi?id=37020
Antoine "hashar" Musso changed:
What|Removed |Added
Status|NEW |RESOLVED
Resolution|
https://bugzilla.wikimedia.org/show_bug.cgi?id=37020
--- Comment #1 from Antoine "hashar" Musso 2012-10-25 11:03:06
UTC ---
https://gerrit.wikimedia.org/r/29952 adds the database delimiter to the
readline history file.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=emai
https://bugzilla.wikimedia.org/show_bug.cgi?id=37020
Antoine "hashar" Musso changed:
What|Removed |Added
Priority|Unprioritized |Normal
CC|