]> git.mxchange.org Git - friendica.git/commitdiff
Merge pull request #11214 from annando/platform-cleaning
authorPhilipp <admin+Github@philipp.info>
Sun, 6 Feb 2022 16:20:32 +0000 (17:20 +0100)
committerGitHub <noreply@github.com>
Sun, 6 Feb 2022 16:20:32 +0000 (17:20 +0100)
Follow-up for PR #11213 - Improved server probing


Trivial merge