Skip to content

Make sum_inhabited_r not a copy of sum_inhabited_l

This existed at least as far back as 361308c7, 8 years ago.

Merge request reports

Loading