Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix to close the shelve catalog to guarantee changes are written to d…
…isk. Fernando Perez fix for random uncessary recompilation with weave.
- Loading branch information