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

Reply via email to