v0.7.1

What's Changed

• Get rid of pushd and popd due to issue #67 by @bambier in #69
• Build 0.7.1 by @FeodorFitsner in #98

New Contributors

• @bambier made their first contribution in #69

Full Changelog: v0.7.0...v0.7.1