Über 5.0-419

Version
5.0-419
Entwicklungszweig
master
Zeitpunkt
8 Jahre, 3 Monate her
Windows x64 Mac OS X Android
Commit
4c9c4568460df91a38d40ac3071d7646230a8d0f
Author der Änderung
Pierre Bourdon
Beschreibung der Änderung 
Merge pull request #4116 from leoetlino/lint-real-fix

Tools: Fix the lint script (for real, this time -- and the last time)