Remove unproven#131

Merged

bors[bot] merged 1 commit intorust-embedded:masterfrom

brainstorm:remove_unproven

Dec 26, 2020

Commits on Dec 26, 2020

Remove unproven flag. Bump up rayon and once_cell.
brainstorm
committed