From: Christian Heller <c.heller@plomlompom.de>
Date: Tue, 27 Sep 2016 19:38:02 +0000 (+0200)
Subject: Change IRC bot names.
X-Git-Url: https://plomlompom.com/repos/%22https:/validator.w3.org/static/git-favicon.png?a=commitdiff_plain;h=8c39b1b68ba5f883910a08f676eba9411937f47e;hp=8c39b1b68ba5f883910a08f676eba9411937f47e;p=config

Change IRC bot names.
---