am 35a2c0d6: Merge "Fix bug #15434475 Developer Options do not show...
am 35a2c0d6: Merge "Fix bug #15434475 Developer Options do not show immediately after activating them" into lmp-preview-dev
* commit '35a2c0d6':
Fix bug #15434475 Developer Options do not show immediately after activating them