Merge pull request #3428 from WoltLab/url-is
authorTim Düsterhus <duesterhus@woltlab.com>
Mon, 6 Jul 2020 15:20:12 +0000 (17:20 +0200)
committerGitHub <noreply@github.com>
Mon, 6 Jul 2020 15:20:12 +0000 (17:20 +0200)
Fix Url::is()


Trivial merge