Skip to content

Mark Operation enum as non_exhaustive#41

Merged
jonhoo merged 1 commit intojonhoo:masterfrom srishanbhattarai:non-exhaustive-opJan 30, 2020

Commits

Commits on Jan 30, 2020