On 11/5/20 8:51 PM, Christian Kreibich wrote:
I'm putting together a PR (still a draft) for bringing our CI in line with what's in that page:
Ahem -- that was supposed to be: https://github.com/zeek/zeek/pull/1268/ Best, Christian _______________________________________________ zeek-dev mailing list -- zeek-dev@lists.zeek.org To unsubscribe send an email to zeek-dev-le...@lists.zeek.org
