Skip to content
This repository has been archived by the owner on Nov 30, 2022. It is now read-only.

Simplify some conditions. #830

Merged
merged 2 commits into from Jun 23, 2021
Merged

Simplify some conditions. #830

merged 2 commits into from Jun 23, 2021

Conversation

lucasmichot
Copy link
Collaborator

This PR simplifies some conditions.

@gnikyt gnikyt merged commit 2fde0a9 into gnikyt:master Jun 23, 2021
@lucasmichot lucasmichot deleted the condition-simplified branch July 16, 2021 06:46
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.

None yet

2 participants