Regarding publishing, I think if we just make sure that cnf-extractor only extracts information for >= disco series then we're good. That seems to be the case today.
« Back to merge proposal
Regarding publishing, I think if we just make sure that cnf-extractor only extracts information for >= disco series then we're good. That seems to be the case today.