v3.5
What's Changed
- Avoid fail on git error by @joezuntz in #110
- Allow user to set name of campaign output by @joezuntz in #111
- Fix the cosmosis-extract tool which was lower-casing file names.
Full Changelog: v3.4.4...v3.5
Full Changelog: v3.4.4...v3.5