diff options
| -rw-r--r-- | doc/src/sgml/release-9.5.sgml | 2 |
1 files changed, 1 insertions, 1 deletions
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"> |