Skip to content

rename `singleton_mono` to `singleton_included_mono`

Ralf Jung requested to merge ralf/singleton_included_mono into master

Follow-up to !947 (merged)

Merge request reports