carta

WdtpInterfacePointer_UserMarshal(3w) on Linux

The text d4339d04b479, as Debian 6.0 (Squeeze) shipped it.

WdtpInterfacePointer_UserMarshal(3w) on Linux now