${lead}
Die Entwickler-Optionen sind nun zugänglich – die vorige Build mit der Nummer 10074 brachte beim Aufruf konsequent die Einstellungs-App zum Absturz.