On Sat, Nov 26, 2022 at 05:19:17PM +0100, Patrice Dumas wrote:
> I just pushed a commit which removes _open_table_term_type.  Feel free
> to revert it if you need to.

LGTM, thanks.

Reply via email to