Merge PR to master for updating version to 142 #522

Open

opened

on Dec 17, 2025

Hi there,

could you please merge the #520 to consider the newer Version 142.

Cheers,
Daniel

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests