diff options
author | Jim Huang <jserv.tw@gmail.com> | 2019-06-30 01:17:13 +0800 |
---|---|---|
committer | Jim Huang <jserv.tw@gmail.com> | 2019-06-30 01:17:13 +0800 |
commit | 2347a65fe0b27d947d712e1f4428e26dab0331c6 (patch) | |
tree | 8ccb7acf53b6ebc6dfc3c5e19671713df483482d /docs/mimalloc-doc_8h_source.html | |
parent | 5dfced26c2925e0d08c8de03e7ef0169db5d3793 (diff) |
Clarify the comment about Linux distributions
Red Hat Linux was discontinued by Red Hat in 2003. It would make sense
to address glibc-based Linux distributions rather than Red Hat Linux.
Reference: https://en.wikipedia.org/wiki/Red_Hat_Linux
Diffstat (limited to 'docs/mimalloc-doc_8h_source.html')
0 files changed, 0 insertions, 0 deletions