Skip to content
This repository has been archived by the owner on May 23, 2024. It is now read-only.

add 5 ices #1390

Merged
merged 2 commits into from
Aug 20, 2022
Merged

add 5 ices #1390

merged 2 commits into from
Aug 20, 2022

Commits on Aug 19, 2022

  1. move 86800.rs back to ices

    @matthiaskrgr
    matthiaskrgr committed Aug 19, 2022
    Configuration menu
    Copy the full SHA
    f913963 View commit details
    Browse the repository at this point in the history

  2. add 5 ices 

    rust-lang/rust#100689
rust-lang/rust#100672
rust-lang/rust#100612
rust-lang/rust#100550
rust-lang/rust#100463
    @matthiaskrgr
    matthiaskrgr committed Aug 19, 2022
    Configuration menu
    Copy the full SHA
    2291d39 View commit details
    Browse the repository at this point in the history