Extension Manager Interface 0.1.3, released 2022-06-14

June 14, 2022 ยท View on GitHub

Code name: Made parameters version dependant

Bug Fixes

  • #10: Changed type of StringParameter.regex to string