--- Comment #12 from Zoltan Herczeg <hzmester@???> --- > IMHO the sooner we drop it and build the right API for external memory
> management (if it is possible with the current design) the better
I am not sure I follow. What is the right API? Passing an allocator?
--
You are receiving this mail because:
You are on the CC list for the bug.
