Merge github#881: dev-python/spyder: Version bump.