bump holmes to 0.31.0 (#2090)