Version 0.8.8 (from now on, we bump the version right after a release)