Skip to content

Fix clean_manual_referencing_all to remove long backward deadends

Fix clean_manual_referencing_all to remove long backward deadends; after this fix, only the shortest backward deadend is kept.

Merge request reports