Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Zeek renaming: Update Plugin namespace #323
It'd be good to update anything user-visible relating to plugins so that we avoid breaking stuff there later.
I can think of the following right now: