configure: improve description of --with-memory-allocator
For master
Scheduled
6 jobs
8 minutes 34 seconds, queued for 5 seconds
Self sign-up has been disabled due to increased spam activity. If you want to get access, please send an email to a project owner (preferred) or at gitlab(at)nic(dot)cz. We apologize for the inconvenience.