projects / GitHub / WoltLab / woltlab.github.io.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 2494c81 544ff32)
Merge pull request #306 from WoltLab/php-ddl-index-name
authorTim Düsterhus <duesterhus@woltlab.com>
Wed, 5 Oct 2022 11:35:39 +0000 (13:35 +0200)
committerGitHub <noreply@github.com>
Wed, 5 Oct 2022 11:35:39 +0000 (13:35 +0200)
Explain that PHP DDL expects an explicit index name


Trivial merge