Code

Avoid head -c GNUism in reftests#5989

Code

Merged

kit-ty-kate merged 1 commit intoocaml:masterocaml/opam:masterfrom madroach:mastermadroach/opam:masterCopy head branch name to clipboardJul 2, 2024

+3-2

Commits

Commits on Jul 2, 2024

• Avoid GNUism

  Show description for a360728
  

  Christopher Zimmermann

  authored and

  kit-ty-kate

  committed
  a360728