On 06/29/2018 02:48 PM, Mauricio Vasquez B wrote: > Decrement the number of elements in the map in case the allocation > of a new node fails. > > Signed-off-by: Mauricio Vasquez B <mauricio.vasq...@polito.it>
Thanks for the fix, Mauricio! Could you reply with a Fixes: tag in order to track the commit originally introducing this bug? Thanks, Daniel