Update readme.md

This commit is contained in:
Daan 2021-01-31 11:58:22 -08:00 committed by GitHub
parent 7f052290da
commit 706654f41b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -12,7 +12,7 @@ is a general purpose allocator with excellent [performance](#performance) charac
Initially developed by Daan Leijen for the run-time systems of the
[Koka](https://github.com/koka-lang/koka) and [Lean](https://github.com/leanprover/lean) languages.
Latest release:`v1.7.0` (2020-01-31).
Latest release tag: `v1.7.0` (2020-01-31).
It is a drop-in replacement for `malloc` and can be used in other programs
without code changes, for example, on dynamically linked ELF-based systems (Linux, BSD, etc.) you can use it as: