lib/mysql.php: add more bot user agents - website - Archlinux32 website - obsolete

Send patches - preferably formatted by git format-patch - to patches at archlinux32 dot org.

summary refs log tree commit diff

path: root/pool.php

diff options

author	Erich Eckner <git@eckner.net>	2019-08-06 11:24:34 +0200
committer	Erich Eckner <git@eckner.net>	2019-08-06 11:24:34 +0200
commit	87dadcf429a8d2367608f422de8accdd4103ba48 (patch)
tree	e362c46a2dd508d59cbdcc08cc5c07b9031a3b80 /pool.php
parent	e1456c546398883655ed1ca8c161c942a3954d62 (diff)

lib/mysql.php: add more bot user agents

Diffstat (limited to 'pool.php')

0 files changed, 0 insertions, 0 deletions