projects / GitHub / WoltLab / woltlab.github.io.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ae64162 5d73421)
Merge pull request #323 from WoltLab/final
authorTim Düsterhus <duesterhus@woltlab.com>
Mon, 24 Oct 2022 14:39:40 +0000 (16:39 +0200)
committerGitHub <noreply@github.com>
Mon, 24 Oct 2022 14:39:40 +0000 (16:39 +0200)
Add “Final” section to “Inheritance” in migration/wsc55/php


Trivial merge