Inloggen met hetzelfde account in portaal én Swagger weer mogelijk (4.1.3.1)

Na een eerdere verbetering van de beveiliging was het tijdelijk niet mogelijk om hetzelfde gebruikeraccount te gebruiken voor zowel het portaal als Swagger. Gebruikers moesten toen kiezen voor één van beide om in te loggen. Deze beperking is nu opgeheven: het is weer mogelijk om met hetzelfde account toegang te krijgen tot beide omgevingen.