Repository navigation

TRIAL push 0: no cross-reference change - #3

Closed

luigi-massacci wants to merge 5 commits into

Closed

TRIAL push 0: no cross-reference change#3
luigi-massacci wants to merge 5 commits into
masterfrom
crossref-trial

Commits on Oct 5, 2026
- TRIAL push 0: no cross-reference change
  luigi-massacci
  committed
  527f594
- TRIAL push 0 (with PR open): no cross-reference change
  luigi-massacci
  committed
  97cb4ad
- TRIAL push 1: add one cross-reference
  luigi-massacci
  committed
  76ec5ca
- TRIAL push 2: add a second cross-reference
  luigi-massacci
  committed
  36fa6d6
- TRIAL push 3: remove the added cross-references
  luigi-massacci
  committed
  34b99a1