Walter Bright Wed, 01 Apr 2009 02:15:13 -0700
Max Samukha wrote:
Great! Does it mean opDot is deprecated?
Yes.