On 2023-11-17 13:00:19 -0800, Jeff Davis wrote: > Please tell me if you think the use of simplehash for a search_path > cache is the wrong tool for the job.
No, seems fine. I just was curious - as you said, the older existing users won't ever care about this case.
