00c79f5c92
Move lockmgr_printinfo() into vprint() for everyone's benefit. Suggested by: bde
Move lockmgr_printinfo() into vprint() for everyone's benefit. Suggested by: bde