DON'T MERGE: investigate doc-magic problem in PR #750

ProofGeneral / PG

This repo is the new home of Proof General

https://proofgeneral.github.io

GNU General Public License v3.0

490 stars 87 forks source link

Closed hendriktews closed 6 months ago

hendriktews commented 6 months ago

The problem was caused by Stefan, pushing directly, without running CI