search

plfa / plfa.github.io

An introduction to programming language theory in Agda
https://plfa.github.io
Creative Commons Attribution 4.0 International
1.37k stars 315 forks source link

Fix #987 #994

Closed wenkokke closed 6 months ago

wenkokke commented 6 months ago

That's the proposed fix for the CVE noted in #987.

wenkokke commented 6 months ago

The issue is with --recurse-submodules and the suggestion is to avoid it.

wadler commented 6 months ago

Thanks. I followed the #987 link after I wrote my message, after which I wrote a second message beginning "Doh". Somehow the second message wasn't posted. Yes, I agree with the change.