mirror of
https://github.com/systemd/systemd.git
synced 2026-07-19 22:10:56 +00:00
I wasn't 100% convinced that this is the right thing to do, hence the separate commit. But e.g. for paths we index all mentions, so I think it's reasonable to do the same here.