diff --git a/.gitconfig b/.gitconfig
deleted file mode 100644
index d4f587dd..00000000
--- a/.gitconfig
+++ /dev/null
@@ -1,5 +0,0 @@
-[filter "header"]
-	smudge = ./.git-expand-header %f
-	clean = sed -e's/\\$Header:[^$]*\\$/\\$Header\\$/g'
-[diff "gds"]
-        textconv = hexdump -v -C
diff --git a/VERSION b/VERSION
index ae46bd9c..8ac88fdf 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-8.3.94
+8.3.95