Skip to content

Unresolved issues in merged PR34 #36

@HermanPeeren

Description

@HermanPeeren

In PR #34 there were some unresolved issues. I had added a general remark, with some background explanation, which you might have seen, but I also added a more detailed review with concrete suggestions how to solve it.

The PR was merged however before the review was submitted; so that was still pending. And you might not have seen it. I just realised that and submitted the review I made last Friday. So now the review is visible.

Can you please resolve the issues I indicated in my comment and review? Thank you!

Metadata

Metadata

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions