Version 0.42.5

June 25, 2020