From 757d62bbe2f32436c7e2764c006994f9ea94975b Mon Sep 17 00:00:00 2001
From: RaiKoHoff <rainer.kottenhoff@gmail.com>
Date: Mon, 10 Feb 2020 17:03:06 +0100
Subject: [PATCH] + chg: use short version of Commit ID

---
 Version.ps1 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Version.ps1 b/Version.ps1
index 41b618896..c6f5588fa 100644
--- a/Version.ps1
+++ b/Version.ps1
@@ -37,7 +37,7 @@ try
 	$Minor = [int]$(Get-Date -format yy)
 	$Revis = [int]$(Get-Date -format MMdd)
 	if ($AppVeyorEnv) {
-		$CommitID = [string]($env:appveyor_repo_commit)
+		$CommitID = ([string]($env:appveyor_repo_commit)).substring(0,7)
 		$Build = [int]($env:appveyor_build_number)
 	}
 	else {