Ben Gamari authored Oct 02, 2019 and Marge Bot committed Oct 05, 2019

Previously due to a silly implementation bug CNFs would never have their
dirty flag set, resulting in their being added again and again to the
`mut_list`. Fix this.

Fixes #17297.