Skip to content

portal#636

Simone Guzzi requested to merge portal636 into dev

Changes needed for fixing types on Portal.

Credits to @ribeaud for figuring out the correct fix.

Merge request reports