Skip to content

Fix TableNotFoundError for EB tables where "explanation" tables are in the same subsection; Handle rightarrow in wrong encoding; Fix regression bugs#80

Merged
hf-kklein merged 15 commits intomainfrom
20230629-v33
Jun 30, 2023
Merged

Fix TableNotFoundError for EB tables where "explanation" tables are in the same subsection; Handle rightarrow in wrong encoding; Fix regression bugs#80
hf-kklein merged 15 commits intomainfrom
20230629-v33

Commits

Commits on Jun 30, 2023