Skip to content
This repository was archived by the owner on Mar 17, 2021. It is now read-only.

Replace an Ok with a Some #1

Closed
wants to merge 1 commit into from
Closed

Replace an Ok with a Some #1

wants to merge 1 commit into from

Conversation

scottmcm
Copy link

J'ai vue qu'il dit "abandonné", donc fermez-le si vous voulez.

Trouvé par crater en rust-lang/rust#82322 (comment)

(Apologies if I butchered the french, it's been a while.)

@thejohncrafter
Copy link
Owner

Thank you for your interest, but this PR actually makes the compilation fail :/
You made me learn about crater by the way :)

(Et pas de problème pour le français haha)

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants