git: 8520652438 - main - add forgotten 'FreeBSD Ports 12.3'

The branch main has been updated by wosch:

URL: https://cgit.FreeBSD.org/doc/commit/?id=85206524383da157c1be60fd887a71b6592d7950

commit 85206524383da157c1be60fd887a71b6592d7950
Author:     Wolfram Schneider <[email protected]>
AuthorDate: 2022-03-22 10:00:19 +0000
Commit:     Wolfram Schneider <[email protected]>
CommitDate: 2022-03-22 10:00:19 +0000

    add forgotten 'FreeBSD Ports 12.3'
    
    PR:             262686
    Reported by:    PauAmma
---
 website/content/en/cgi/man.cgi | 1 +
 1 file changed, 1 insertion(+)

diff --git a/website/content/en/cgi/man.cgi b/website/content/en/cgi/man.cgi
index 64a68ed144..510bdde1f3 100755
--- a/website/content/en/cgi/man.cgi
+++ b/website/content/en/cgi/man.cgi
@@ -419,6 +419,7 @@ $manPathDefault = 'FreeBSD 13.0-RELEASE and Ports';
     'FreeBSD Ports 12.0', "$manLocalDir/FreeBSD-ports-12.0-RELEASE/man:$manLocalDir/FreeBSD-ports-12.0-RELEASE/misc",
     'FreeBSD Ports 12.1', "$manLocalDir/FreeBSD-ports-12.1-RELEASE/man:$manLocalDir/FreeBSD-ports-12.1-RELEASE/misc",
     'FreeBSD Ports 12.2', "$manLocalDir/FreeBSD-ports-12.2-RELEASE/man:$manLocalDir/FreeBSD-ports-12.2-RELEASE/misc",
+    'FreeBSD Ports 12.3', "$manLocalDir/FreeBSD-ports-12.3-RELEASE/man:$manLocalDir/FreeBSD-ports-12.3-RELEASE/misc",
     'FreeBSD Ports 13.0', "$manLocalDir/FreeBSD-ports-13.0-RELEASE/man:$manLocalDir/FreeBSD-ports-13.0-RELEASE/misc",