Skip to content

Conversation

@remicollet
Copy link
Member

See #7883

@remicollet
Copy link
Member Author

First commit is belt, second is braces (and minor optimization)

@cmb69
Copy link
Member

cmb69 commented Jan 17, 2022

See also #7929; I think we need to revert parts of c732ab4.

@remicollet
Copy link
Member Author

@dstogov as the author of c732ab4 please check this quickfix

@remicollet
Copy link
Member Author

Merged as cdfc4d3

@cmb69 I think #7929 can be handled separately

@remicollet remicollet closed this Jan 18, 2022
@remicollet remicollet deleted the issue-7883 branch January 18, 2022 14:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants