Skip to content

Commit

Permalink
Merge pull request #1973 from vvbandeira/bump-or
Browse files Browse the repository at this point in the history
Bump OR submodule
  • Loading branch information
vvbandeira committed Apr 26, 2024
2 parents b57a040 + 4e931c2 commit 40b3bc1
Showing 1 changed file with 1 addition and 1 deletion.