diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2023-04-11 21:01:58 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-11 21:01:58 +0200 |
| commit | 16a6bdd423aa85272837d0bc6b9e709febdb4ec0 (patch) | |
| tree | a7f70f8ed81aec219e990c0b3f174dbd200ae793 /core/version.h | |
| parent | 4762303f182e65c5293db8d22a4ce88521eba445 (diff) | |
| parent | 177be9bd37e3dfa4d591eea3bb8ab14a17d06007 (diff) | |
Merge pull request #75786 from YuriSizov/4.0-cherrypicks
Cherry-picks for the 4.0 branch (future 4.0.3) - 1st batch
Diffstat (limited to 'core/version.h')
0 files changed, 0 insertions, 0 deletions