tree 352aa561751721e8bf8d1b3dafa3ea074cfbdc46
parent b60398c5fc216a1b577b9dbcf61d48a21cb409a4
author Davide Pesavento <davidepesa@gmail.com> 1608352686 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1608775445 -0500

bloom-filter: code cleanup

Change-Id: I72cec068778d26c62b05060030013f148ef7c5da