Skip to content

Commit 2f71a3d

Browse files
committed
bump up submodule commits to merge commits
Github's PR system doesn't work so well with submodules, since it always creates merge commits. We should probably avoid using it in the future.
1 parent 0f51ca4 commit 2f71a3d

File tree

3 files changed

+3
-3
lines changed

3 files changed

+3
-3
lines changed

groundtest

rocket

uncore

0 commit comments

Comments
 (0)