-
Adam Barth authored
Previously we asserted that the element was not in the dirty list, but there are scenarios where the element can be in the dirty list already. This patch makes markNeedsBuild handle those cases by simply resorting the dirty list. Fixes #6119
5dc96f20