trie: rename pruner (need it for diffs, lol)

This commit is contained in:
Péter Szilágyi 2019-01-10 10:52:37 +02:00
parent 17e7433725
commit 0ef6607045
No known key found for this signature in database
GPG key ID: E9AE538CEDF8293D