Re: [julia-users] Invalid history file (~/.julia_history) format

[Stefan Karpinski]

On Thu, Aug 25, 2016 at 10:20 AM, Kristoffer Carlsson <kcarlsso...@gmail.com
> wrote:

> I already made a PR for it. Sorry for stealing it.


No worries. There's always more work to do :)