Information for 5.0-419

Version
5.0-419
Branch
master
Date
8 years, 3 months ago
Windows x64 Mac OS X Android
Commit
4c9c4568460df91a38d40ac3071d7646230a8d0f
Change author
Pierre Bourdon
Change description 
Merge pull request #4116 from leoetlino/lint-real-fix

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