add support for `with <resource_option>` for `ALTER USER ...` statements#414

Merged

jycor merged 2 commits intomainfrom

May 12, 2025

Commits on May 12, 2025

support with resource for alter user
James Cor
committed
better implementation
James Cor
committed