On Wed, May 21, 2025 at 2:22 PM Jim Jones <jim.jones@uni-muenster.de> wrote:
> In v10 I added this to the documentation to make the difference to CAST
> clearer:
Yes, that looks very helpful.
> In v10 I changed these comments to:
That, too.
I don't have time to re-review this right now, but I encourage you to
look through the patch for other, similar places that could benefit
from a fuller explanation. And I hope somebody else shows up to
express interest in this so that your work is not wasted...
--
Robert Haas
EDB: http://www.enterprisedb.com
