tree cae4ce00f575860287324f36c71066a3c0fc62d0
parent 6a699be8cdc667bf285e56ec9a247c285cd514c3
author Davide Pesavento <davidepesa@gmail.com> 1622242117 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1622244063 -0400

table: DeadNonceList code cleanup/modernization

Change-Id: I7d2bb8982b60b138c979470406b0a607301f2768