diff options
| author | Andrey Andreev <narf@devilix.net> | 2022-02-03 15:33:09 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-03 15:33:09 +0100 |
| commit | 068640932168c263db30a969e7364fe8a3f53572 (patch) | |
| tree | cbbc64459585b4a6096d38a4ea209622fb57ef62 /user_guide_src/Makefile | |
| parent | 193df886a54e0cac8416327f763a1e61dc2a3053 (diff) | |
| parent | ad86fa92cd59ac1255af1dd5170919f6fbf73786 (diff) | |
Merge pull request #6092 from jamieburchell/patch-2
Fix PHP 8.1 deprecation in DB_utility.php
Diffstat (limited to 'user_guide_src/Makefile')
0 files changed, 0 insertions, 0 deletions