-
Jakob Unterwurzacher authored
LOOKUP is changed to use the human-readable "NodeId: %d" output that is used in most other places. This also makes grepping easier. Also adds debug output for batch forget. Change-Id: I086b4c34b17c98b7df474e90cf9b8b493ac9e040
5f1423b7