-
Dan Villiom Podlaski Christiansen authored
When the map save frequency is set, we would previously save it the very start of the push. That doesn't make much sense, so we switch it one commit later to avoid the unnecessary I/O.
Dan Villiom Podlaski Christiansen authoredWhen the map save frequency is set, we would previously save it the very start of the push. That doesn't make much sense, so we switch it one commit later to avoid the unnecessary I/O.