Thu, 14 Jun 2018 16:44:27 -0400 rework of prior
alfadur [Thu, 14 Jun 2018 16:44:27 -0400] rev 13415
rework of prior
Thu, 14 Jun 2018 12:31:15 -0400 handle edge polling properly
alfadur [Thu, 14 Jun 2018 12:31:15 -0400] rev 13414
handle edge polling properly
Sun, 10 Jun 2018 19:12:26 +0200 Merge default to ios-develop ios-develop
antonc27 <antonc27@mail.ru> [Sun, 10 Jun 2018 19:12:26 +0200] rev 13413
Merge default to ios-develop
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip