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