Skip to content

Add missing (require 'ert) for ert-deftest#1823

Closed
andersk wants to merge 1 commit intoocaml:mainfrom
andersk:require-ert
Closed

Add missing (require 'ert) for ert-deftest#1823
andersk wants to merge 1 commit intoocaml:mainfrom
andersk:require-ert

Commits

Commits on Sep 16, 2024