-
Sebastian Dröge authored
Either there was a flush before that resets everything anyway, or resetting would make us lose information we might need if it's just a segment update.
695675ab
Either there was a flush before that resets everything anyway, or resetting would make us lose information we might need if it's just a segment update.