]> git.openstreetmap.org Git - nominatim.git/blobdiff - nominatim/db/utils.py
Merge remote-tracking branch 'upstream/master'
[nominatim.git] / nominatim / db / utils.py
index d9154ed90160b5b0a4c01e72fc6df5de4a9002cf..e3f0712a11b6f53551bc90e4734798e441f33142 100644 (file)
@@ -118,4 +118,4 @@ class CopyBuffer:
         """
         if self.buffer.tell() > 0:
             self.buffer.seek(0)
-            cur.copy_from(self.buffer, table, columns=columns) # type: ignore[arg-type]
+            cur.copy_from(self.buffer, table, columns=columns)