Entwicklernachricht: Wartungs-Build am 10. Mai 2017