[tor-commits] [torbutton/master] Bug #3820: Fix a warning w/ session store filter