From 340c74dfdfb91d521fbdb20e5601973266da3428 Mon Sep 17 00:00:00 2001
From: Peter Eisentraut <peter_e@gmx.net>
Date: Sat, 13 Jun 2015 21:41:34 -0400
Subject: [PATCH] Remove stray character

---
 doc/src/sgml/release-9.5.sgml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/src/sgml/release-9.5.sgml b/doc/src/sgml/release-9.5.sgml
index f5c53374480..a46d2f680a1 100644
--- a/doc/src/sgml/release-9.5.sgml
+++ b/doc/src/sgml/release-9.5.sgml
@@ -1,4 +1,4 @@
-/<!-- doc/src/sgml/release-9.5.sgml -->
+<!-- doc/src/sgml/release-9.5.sgml -->
 <!-- See header comment in release.sgml about typical markup -->
 
  <sect1 id="release-9-5">
-- 
GitLab