Skip to content

Conversation

EgorkaKulikov
Copy link
Collaborator

See #1713 for more details

@EgorkaKulikov EgorkaKulikov added ctg-enhancement New feature, improvement or change request comp-contest-estimator Issue is related to contest estimator labels Nov 7, 2023
@EgorkaKulikov EgorkaKulikov enabled auto-merge (squash) November 7, 2023 10:15
@EgorkaKulikov EgorkaKulikov merged commit 921b69a into main Nov 7, 2023
@EgorkaKulikov EgorkaKulikov deleted the egor/missed_changes_from_contest2023 branch November 7, 2023 10:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

comp-contest-estimator Issue is related to contest estimator ctg-enhancement New feature, improvement or change request

2 participants