This repository was archived by the owner on Dec 2, 2024. It is now read-only.

Fix some hsobj references #193

Merged

sjoerdvisscher merged 1 commit into main from sv/fix-hsobj-references

Dec 14, 2021

Contributor

sjoerdvisscher commented Dec 14, 2021

Pre-submit checklist:

Branch
- Tests are provided (if possible)
- Commit sequence broadly makes sense
- Key commits have useful messages
- Relevant tickets are mentioned in commit messages
- Formatting, materialized Nix files, PNG optimization, etc. are updated
PR
- Self-reviewed the diff
- Useful pull request description
- Reviewer requested


          Fix some hsobj references

b29f5fa

sjoerdvisscher merged commit 220bb00 into main

sjoerdvisscher deleted the sv/fix-hsobj-references branch

December 14, 2021 09:28

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet