-
Alexandru Băluț authored
Both signals tell more or less the same thing, that the undo log changed. We don't care whether something has been added or removed, so they can be merged. Differential Revision: https://phabricator.freedesktop.org/D965
b36bc1b4