Thanks for this report.
This was a bug in the repository editor that was fixed some days ago.
Cheers, MIchael
Thanks for this report.
This was a bug in the repository editor that was fixed some days ago.
Cheers,
MIchael