mirror of
https://github.com/systemd/systemd.git
synced 2025-01-14 23:24:38 +03:00
e503019bc7
Doesn't really matter since the two unicode symbols are supposedly equivalent, but let's better follow the unicode recommendations to prefer greek small letter mu, as per: https://www.unicode.org/reports/tr25