[tor-commits] [bridgedb/master] Merge remote-tracking branch 'tpo-sysrqb/bug12781-dumpbuckets' into develop