@julian boom, apparently did not have than June 30th commit.
Issue is resolved. 😛 Thank you 🙂
hey, don't know whether it's the new theme @psychobunny or anything else (seems to be frontend-issue) @julian
I cannot select any new group-icon for labels. (tested on this board only...)
Also for the user-settings a "No group-label" option may be wished by some users.