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.
This commit is contained in:
1 parent
0f51ca4c10
commit
2f71a3da5a
3 files changed
+3
-3
No files matched your search
+1
-1
Submodule groundtest updated: bcfebe0e0e...32c9c5f658.
+1
-1
Submodule rocket updated: 709f35ff1d...f19ab09004.
+1
-1
Submodule uncore updated: 3005895845...e41f2ed1ad.
Reference in new issue
Block a user