Merge branch '5.3'

Authored by kossebau on Oct 13 2018, 9:44 AM.

Description

Merge branch '5.3'

Merged Changes

CommitAuthorDetailsCommitted
ea3d601f7882D16123kfunk
windows: Detect VS2017 compiler and tools 
Oct 12 2018
9c46acfe07c7kfunk
windows: Do not print commands from batch file 
Oct 11 2018
e48d85385673kfunk
windows: Silence some errors from batch file 
Oct 11 2018
1600eabfc3dakfunk
windows: Streamline batch file a bit 
Oct 11 2018