Code

Prepare for 5.2 AST bump#276

Code

Draft

patricoferris wants to merge 1 commit intoLPCIC:masterLPCIC/elpi:masterfrom patricoferris:5.2-ast-bumppatricoferris/elpi:5.2-ast-bumpCopy head branch name to clipboard

+8-4

Commits

Commits on Oct 26, 2024

• Prepare for 5.2 AST bump

  patricoferris

  committed
  05e91a7