mirror of
https://github.com/openwrt/openwrt.git
synced 2025-01-30 08:04:10 +00:00
d00bbd9de0
This fixes the profiles.json output. Signed-off-by: Moritz Warning <moritzwarning@web.de>