Code

Gha patch ok#24

Code

Open

rjbou wants to merge 1 commit intoall-your-baserjbou/opam:all-your-basefrom gha-patch-okrjbou/opam:gha-patch-okCopy head branch name to clipboard

+4-2

Commits

Commits on Mar 3, 2022

• ko update patch

  rjbou

  committed
  366db9a

  Copy full SHA for 366db9a