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
Sun, 10 Jun 2018 19:01:50 +0200 Merge ios-develop into default
antonc27 <antonc27@mail.ru> [Sun, 10 Jun 2018 19:01:50 +0200] rev 13412
Merge ios-develop into default
(0) -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 tip