Closed tarsius closed 8 years ago
Not sure if I have the authority to merge this.
@lewang would this make 0.6.1
?
My ideas around release management and the various package managers being used is lacking. If we just merged this into master, and changed the version to something alpha here would that work?
And manage release through git tags?
At the moment, we don't have any sort of channel-based release system.
In any case, I would consider this a "hotfix" (like https://github.com/lewang/flx/commit/dd4b4d50dac3a55752a12aaa19498554c5d91b34, it fixes stuff that's critically broken for some), which should probably go straight to some sort of release.
I'd suggest just merging it and tagging 0.6.1
Thanks
Also add file "misc/.nosearch" to prevent "misc/" from being added to the
load-path
.