Code

fix: use 'paste' instead of 'copy'#492

Code

Merged

Leonidas-from-XIV merged 1 commit intotarides:maintarides/dune-release:mainfrom maxRN:copy-pastemaxRN/dune-release:copy-pasteCopy head branch name to clipboardJul 30, 2024

+1-1

Commits

Commits on Jul 30, 2024

• fix: use 'paste' instead of 'copy'

  maxRN

  committed
  69cb702

  Copy full SHA for 69cb702