Integration of rigi.io in Online Editor of WS: Status History

Below is the history of changes to this idea's status. Return to the idea.