clean_up_hotlist_groups 1437 src/filemanager/hotlist.c             clean_up_hotlist_groups (*profile_keys);
clean_up_hotlist_groups 1506 src/filemanager/hotlist.c         clean_up_hotlist_groups ("Hotlist");