tree 51c3bd9ba96f00ced413ef95ecfebbf5177d1e72
parent 89423794b3bd285972336d7f0ca4187a78be5d8b
author Ian Zerny <zerny@google.com> 1701067245 +0100
committer Ian Zerny <zerny@google.com> 1701075404 +0000

Maintain no-horizontal-merge set obtained by conditional rules

Change-Id: If522b3991e6628d169371ecf232edbcf75f873b4