tree 767acd70461f5908c089194fc7b54505a1d54254
parent 67ad70fbd5c97f6a8a4bf6d7fb0dd3da8840f221
author Davide Pesavento <davidepesa@gmail.com> 1623190966 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1623222212 -0400

table: improve logging in DeadNonceList

Refs: #5165
Change-Id: I97f9e28af90d857b33808d385eb077380cafe00a