Do a git pull by itself now that a branch has been set.
Then check: fgrep '$release' version.php
hopefully: $release = '3.5.7+ (Build: 20190712)
Then upgrade via admin/cli/ scripts.
'SoS', Ken
Do a git pull by itself now that a branch has been set.
Then check: fgrep '$release' version.php
hopefully: $release = '3.5.7+ (Build: 20190712)
Then upgrade via admin/cli/ scripts.
'SoS', Ken