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.
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.