[07:51:50] <wikibugs_>	 10WM-Bot: Increase font size of logs? - https://phabricator.wikimedia.org/T174650#3569060 (10Elitre)
[08:07:08] <wikibugs_>	 10WM-Bot: Increase font size of logs? - https://phabricator.wikimedia.org/T174650#3569060 (10Reception123) I agree, the font should really not be that small.
[11:09:42] <goat-bot>	 GitHub [8benapetr/wikimedia-bot] benapetr pushed 1 commits into branch master: https://github.com/benapetr/wikimedia-bot/compare/d60b97f0ff43...d3e3b2351a45
[11:09:42] <goat-bot>	 GitHub [8benapetr/wikimedia-bot] commit by Reception123 (Reception123) https://github.com/benapetr/wikimedia-bot/commit/d3e3b2351a4517826e2fd853307fabc8a8f03f5b increase font size   Bug: T174650
[11:17:16] <goat-bot>	 GitHub [8benapetr/wikimedia-bot] benapetr pushed 1 commits into branch master: https://github.com/benapetr/wikimedia-bot/compare/d3e3b2351a45...f8064dcb4ccd
[11:17:16] <goat-bot>	 GitHub [8benapetr/wikimedia-bot] commit by benapetr (Petr Bena) https://github.com/benapetr/wikimedia-bot/commit/f8064dcb4ccd6a628c7bb6cf96cac9df6f353109 changed size of table in log viewer
[11:17:57] <wikibugs_>	 10WM-Bot: Increase font size of logs? - https://phabricator.wikimedia.org/T174650#3569590 (10Petrb) 05Open>03Resolved merged
[11:18:11] <Reception123>	 thanks petan