diff options
author | Morris Jobke <hey@morrisjobke.de> | 2019-03-22 00:36:59 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-22 00:36:59 +0300 |
commit | 243cef1c3a7d0253ba2df8665272ac1b8490345c (patch) | |
tree | aaa59bae53eb550d8b700856b39d10fd37862a88 /version.php | |
parent | 973ccd8c5c94d5a4c2effd2a8e8320983b119c8a (diff) | |
parent | 1c3abda280d66cd44ee46df63a46cb3281736776 (diff) |
Merge pull request #14058 from vpecinka/master
Avoid replacement by user object
Diffstat (limited to 'version.php')
0 files changed, 0 insertions, 0 deletions