Merge pull request #2369 from MikeMcQuaid/update-migrated-not-deleted
update-report: migrated formulae were not deleted.
No related branches found
No related tags found
Please register or sign in to comment
update-report: migrated formulae were not deleted.