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

fix broken build #158

Merged

sjoerdvisscher merged 1 commit into main from hotfix-for-105

Dec 1, 2021

Contributor

silky commented Dec 1, 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 broken build

4d449e4

silky requested a review from sjoerdvisscher

December 1, 2021 11:23

sjoerdvisscher merged commit 7657833 into main

sjoerdvisscher deleted the hotfix-for-105 branch

December 1, 2021 11:49

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

Labels

None yet