✨ Feature/edition 2021 #18

Closed

credmp wants to merge 0 commits from feature/edition-2021 into main

pull from: feature/edition-2021

merge into: arjen:main

arjen:main

arjen:feature/workspace-rewrite

arjen:feature/nix-shell

arjen:develop

arjen:feature/import

Conversation 1 Commits - Files changed -

credmp commented 2021-10-27 13:19:19 +00:00 (Migrated from github.com)

Copy link

Move the project to edition 2021, this requires toolchain 1.56.0

Move the project to edition 2021, this requires toolchain 1.56.0

credmp commented 2021-10-27 13:19:54 +00:00 (Migrated from github.com)

Copy link

wrong branch

wrong branch

Pull request closed

Please reopen this pull request to perform a merge.

Sign in to join this conversation.

Reviewers

No reviewers

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

1 participant

Notifications

Subscribe

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

arjen/hed!18

No description provided.