mirror of
https://github.com/systemd/systemd.git
synced 2025-01-24 06:04:05 +03:00
6dbf40256b
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.