jrockway/devel-repl — pull request #1 by anaxagoras (2013-11-14 19:58:12+00:00)
Title: Fix history file writing.

Seems like it should work like this, no? Otherwise, it's not really saving my history.