Fix bad commit for Windows

Authored by aheinecke on Jul 16 2018, 7:35 AM.

Description

Fix bad commit for Windows

This fixes an uncommited semicolon in
3014425c1aecf608abdaa583bb4f9a8540917f1c

Details

Committed
aheineckeJul 16 2018, 7:35 AM
Parents
R168:662d247469b1: GIT_SILENT: Prepare 5.8.80
Branches
Unknown
Tags
Unknown
References
tag: v18.07.80