Skip to content

Review pull requests #751

@manuschneider

Description

@manuschneider

The pull requests have been piling up for a while. Some of the changes are needed in current projects, and it would be great if they could be approved soon. Please check the requests, comment and approve what can be merged. I marked my requests with Pending check/approval where they are ready to be merged.

Metadata

Metadata

Labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions