Merged PRs

dolt

• 10286: Fix show tables to show singular name when local table name conflicts with a non-local table name
  Fix #10283

Closed Issues

• 10283: Non-local tables appear twice in show tables, dolt workbench.
• 10269: User reports schema override does not effect dolt_diff() table function
• 10201: missing Query OK message for dropping a view