[tor-commits] [bridgedb/master] Merge branch 'hotfix/9380-duplicate-extrainfo-error' into develop