Bug#800414: src:minc should be removable now

[Esa Peuha]

Control: tag -1 - moreinfo

Unless I missed something, there is nothing blocking the removal
of src:minc now that caret is gone.