[tor-commits] [tor-messenger-build/master] Update IRC patch for default server