Tweak 2 heights missed in rP23609
Description
Description
Details
Details
- Committed
bb May 2 2020, 7:02 PM - Parents
- rP23614: Show 2 decimals for gather rates in gui.
- Branches
- Unknown
- Tags
- Build Status
Buildable 11556 Build 21192: Post-Commit Build Jenkins Build 21191: Post-Commit Build (macOS) Jenkins
Event Timeline
Comment Actions
As pointed out here, this means more inconsistency (cf. Mauryan walls), not less.
I'm biased, of course, but I do believe the approach taken in this commit is not an improvement.