Skip to content

known-system-with-bad-secondary-system-names-p

Instead of a lisp of primary system names that are valid prefixes, have a set of names of primary systems that are known to define secondary systems with bad system names.

(Follow-up to !116 (merged) and !117 (merged))

Edited by François-René Rideau

Merge request reports