Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.
summaryrefslogtreecommitdiff
path: root/pool.php
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2019-08-06 11:24:34 +0200
committerErich Eckner <git@eckner.net>2019-08-06 11:24:34 +0200
commit87dadcf429a8d2367608f422de8accdd4103ba48 (patch)
treee362c46a2dd508d59cbdcc08cc5c07b9031a3b80 /pool.php
parente1456c546398883655ed1ca8c161c942a3954d62 (diff)
lib/mysql.php: add more bot user agents
Diffstat (limited to 'pool.php')
0 files changed, 0 insertions, 0 deletions