Add a missing comment for PGPROC.pgprocno

When Who What
2022-10-12 07:14:16 Aleksander Alekseev (aalekseev) Closed in commitfest 2022-11 with status: Committed
2022-10-12 07:14:10 Aleksander Alekseev (aalekseev) Changed committer to bmomjian
2022-09-08 17:17:45 Aleksander Alekseev (a.alekseev) Changed authors to Aleksander Alekseev (a.alekseev)
2022-09-08 17:17:45 Aleksander Alekseev (a.alekseev) Changed targetversion to 16
2022-09-08 17:17:31 Aleksander Alekseev (a.alekseev) Attached mail thread CAJ7c6TOs9Dh3KNR2kiQJ3Ow0=TBucL_57DAbm--2p8w5x_8YXQ@mail.gmail.com
2022-09-08 17:17:31 Aleksander Alekseev (a.alekseev) Created patch record