diff options
| author | Benoit Germain <b n t DOT g e r m a i n AT g m a i l DOT c o m> | 2018-11-25 12:45:11 +0100 |
|---|---|---|
| committer | Benoit Germain <b n t DOT g e r m a i n AT g m a i l DOT c o m> | 2018-11-25 12:45:11 +0100 |
| commit | 8d6500fe389624be422ee546f71a1efd4456eabe (patch) | |
| tree | b9462a142180b8edb01e1eb284a42fea9f0156bc /BUGS | |
| parent | 60e5d94af372471c2a3bab91963588ca650bff7b (diff) | |
| download | lanes-8d6500fe389624be422ee546f71a1efd4456eabe.tar.gz lanes-8d6500fe389624be422ee546f71a1efd4456eabe.tar.bz2 lanes-8d6500fe389624be422ee546f71a1efd4456eabe.zip | |
protect_allocator configure option is gone, long live allocator (more embedders-friendly)
Diffstat (limited to 'BUGS')
0 files changed, 0 insertions, 0 deletions