tree-wide: when in doubt use greek small letter mu rather than micro symbol

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
2023-06-14 10:23:56 +02:00
parent d0a6d7c4d1
commit e503019bc7
32 changed files with 54 additions and 54 deletions
@@ -563,4 +563,4 @@ resources back to the OS kernel, making them available for other components of
 the OS.

@TRIMMED_BYTES@ of memory were returned to the OS, which took @TRIMMED_USEC@
-micro-seconds (µs).
+micro-seconds (μs).