Skip to content
This repository was archived by the owner on Nov 15, 2023. It is now read-only.

Conversation

@stanislav-tkach
Copy link
Contributor

@stanislav-tkach stanislav-tkach commented Jan 16, 2020

Closes #4437.

@stanislav-tkach stanislav-tkach added the A3-in_progress Pull request is in progress. No review needed at this stage. label Jan 16, 2020
@stanislav-tkach stanislav-tkach added A0-please_review Pull request needs code review. and removed A3-in_progress Pull request is in progress. No review needed at this stage. labels Jan 16, 2020
@bkchr bkchr merged commit 394bcf4 into master Jan 17, 2020
@bkchr bkchr deleted the stas-4437-1 branch January 17, 2020 08:20
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

A0-please_review Pull request needs code review.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Improve proving code (follow up on #3860)

3 participants