From 2802fc8f3201cadc86ba058aa7717c7d5981a83d Mon Sep 17 00:00:00 2001
From: Remko Lodder <remko@FreeBSD.org>
Date: Thu, 14 Jul 2005 15:02:38 +0000
Subject: [PATCH] Add an space between the PR number and the colon.

Requested by:	pav
---
 en/cgi/query-pr.cgi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/en/cgi/query-pr.cgi b/en/cgi/query-pr.cgi
index f3fade16d8..0817e31f60 100755
--- a/en/cgi/query-pr.cgi
+++ b/en/cgi/query-pr.cgi
@@ -1,5 +1,5 @@
 #!/usr/bin/perl -T
-# $FreeBSD: www/en/cgi/query-pr.cgi,v 1.39 2005/04/14 12:26:28 keramida Exp $
+# $FreeBSD: www/en/cgi/query-pr.cgi,v 1.40 2005/07/14 11:08:54 ceri Exp $
 
 $ENV{'PATH'} = "/bin:/usr/bin:/usr/sbin:/sbin:/usr/local/bin";
 
@@ -141,7 +141,7 @@ while(<Q>) {
 	$syn =~ s/[\t]+/ /g;
 	$origsyn = $syn;
 	$syn = &fixline($syn);
-	print &html_header("Problem Report $cat/$number: $syn");
+	print &html_header("Problem Report $cat/$number : $syn");
 	print "<strong>$syn</strong><p>\n<dl>\n";
     } else {
 	next if $inhdr;