Skip to content

Fix compilation issues and remove uses of old advice facility#670

Open
monnier wants to merge 4 commits into
masterfrom
scratch-defadvice-compilation
Open

Fix compilation issues and remove uses of old advice facility#670
monnier wants to merge 4 commits into
masterfrom
scratch-defadvice-compilation

test: Clarify ci/{init-tests.el,coq-tests.el}

e71b59e
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs