Another pgindent request

As long as you're hacking pgindent, can you do something about its habit
of sometimes removing all space before a same-line comment? Here's
an example from the 7.1 run (in src/backend/storage/lmgr/proc.c):

***************
*** 607,613 ****
MyProc->waitHolder = holder;
MyProc->waitLockMode = lockmode;

! MyProc->errType = STATUS_OK; /* initialize result for success */

/* mark that we are waiting for a lock */
waitingForLock = true;
--- 612,618 ----
MyProc->waitHolder = holder;
MyProc->waitLockMode = lockmode;

! MyProc->errType = STATUS_OK;/* initialize result for success */

/* mark that we are waiting for a lock */
waitingForLock = true;
***************

IMHO there should always be at least one space before a same-line
comment.

regards, tom lane