-
Volker Krause authored
We now assume we are continuing with an additional rule if the previous rule would be mergeable by the auto-correction mechanism, and a normal rule otherwise.
b4e3aed8
We now assume we are continuing with an additional rule if the previous rule would be mergeable by the auto-correction mechanism, and a normal rule otherwise.