Herbert said he submitted the request months ago. As botbot.me site says they don't honor every request, so I guess we weren't selected. I'd still prefer botbot.me as it seems more stable than ircbrowse.net which also doesn't seem to work on mobile (Android, get a server error) On Wed, Oct 25, 2017, 02:55 Ben Gamari <ben@smart-cactus.org> wrote:
Niklas Hambüchen <mail@nh2.me> writes:
Hey Ben,
I haven't heard of a single concern of enabling botbot.me over the last 3 months.
Can we go ahead and enable it?
All we need is a channel op to fill out https://botbot.me/request/.
Yep, let's do it. Thanks for following up on this!
Herbert, can you complete the request?
Cheers,
- Ben
_______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs