[tor-commits] [orbot/master] minor code format change