On Wed, May 21, 2025 at 2:22 PM Jim Jones <jim.jo...@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
