Skip to content

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

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

Commits

Commits on Sep 16, 2024