
This fixes the profiles.json output. Signed-off-by: Moritz Warning <moritzwarning@web.de> (cherry picked from commit cc54f65daa6101721c068cd00fdead1815db0bbf)
This fixes the profiles.json output. Signed-off-by: Moritz Warning <moritzwarning@web.de> (cherry picked from commit cc54f65daa6101721c068cd00fdead1815db0bbf)