version bump
update
github header sizes are awfully large
Merge branch 'release-0.9'