Merge pull request #3217 from Sanafan/updated_spiders
authorMarcel Werk <burntime@woltlab.com>
Sat, 23 May 2020 12:21:51 +0000 (14:21 +0200)
committerGitHub <noreply@github.com>
Sat, 23 May 2020 12:21:51 +0000 (14:21 +0200)
Updated spiders


Trivial merge