* commit '0535ed559eca51cce107309d05a3858ae48f5f20': Fix bug #17393417 Developer Options are not indexed after activating them
* commit '0535ed559eca51cce107309d05a3858ae48f5f20': Fix bug #17393417 Developer Options are not indexed after activating them