Forked from
Iris / Iris
5022 commits behind the upstream repository.
-
Ralf Jung authored
rename `singleton_mono` to `singleton_included_mono` See merge request iris/iris!955
Ralf Jung authoredrename `singleton_mono` to `singleton_included_mono` See merge request iris/iris!955