Skip to content

Put --coverage into EXTRA_LD_FLAGS as well.#123

Merged
rsmmr merged 1 commit intomasterfrom
topic/robin/gh-zeek-4238-spicy-bump
Mar 18, 2025
Merged

Put --coverage into EXTRA_LD_FLAGS as well.#123
rsmmr merged 1 commit intomasterfrom
topic/robin/gh-zeek-4238-spicy-bump

Commits

Commits on Mar 12, 2025