Commit 41fa143713753fc592bd4dcd8894b4de6a5f7350

Stefan Sperling 2018-11-05T15:30:15

back out mini-commits; no significant performance difference