Merge pull request #3426 from WoltLab/sql-graceful-drop
authorTim Düsterhus <duesterhus@woltlab.com>
Fri, 3 Jul 2020 07:23:28 +0000 (09:23 +0200)
committerGitHub <noreply@github.com>
Fri, 3 Jul 2020 07:23:28 +0000 (09:23 +0200)
Ignore errors if a to-be-dropped key / column does not exist in DatabaseEditor


Trivial merge