October 2018 Update 2

Bug fixes

  • Fix issue where some Android devices were not getting push notifications
  • Fix minor interface issues with creating drivers
  • Fix error message for renaming driver to an existing username
  • Fix message for when running into optimization limit