Skip to content

Misclosure verbosity fix#298

Closed
rzinke wants to merge 4 commits intoaria-tools:devfrom
rzinke:misclosure_verbosity_fix
Closed

Misclosure verbosity fix#298
rzinke wants to merge 4 commits intoaria-tools:devfrom
rzinke:misclosure_verbosity_fix

Conversation

@rzinke
Copy link
Collaborator

@rzinke rzinke commented Apr 6, 2022

Fixed issues with verbosity attribute. While fixing that, I discovered an issue with accepting and parsing the query point argument. I fixed that, too, and updated the code styling.

@bbuzzanga bbuzzanga mentioned this pull request May 3, 2022
@dbekaert dbekaert requested review from bbuzzanga and sssangha May 12, 2022 07:36
@bbuzzanga
Copy link
Collaborator

@rzinke I think the bug fixes are incorporated elsewhere (e.g. #306) and the rest of this is incorporated in #296? Please reopen if not.

@bbuzzanga bbuzzanga closed this Jul 28, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants