Version number changed to 0.20.0 for upcoming release.