« Previous | Next » 

Revision 5c562aa4

ID5c562aa4b94e4a7108b74ad51ffa2abb4c7e0a0e
Parent f29266b4
Child 9854f5d0

Added by Guido Trotter almost 14 years ago

dumb-allocator: avoid allocating on drained nodes

This was forgotten when drained nodes were added.

Reviewed-by: iustinp

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences