From 8f1d57611b41f1b7e1c717ee332cee7a16aab547 Mon Sep 17 00:00:00 2001
From: Peter Neumark <peter@splitgraph.com>
Date: Mon, 27 Feb 2023 19:33:53 +0000
Subject: [PATCH] merge upstream mypy fix