Merge in RED/ui from search to master * commit '14f828cbcae5839bcd5ee5de3b21f05bad88f9b8': Project listing search Search in project overview
Merge in RED/ui from search to master * commit '14f828cbcae5839bcd5ee5de3b21f05bad88f9b8': Project listing search Search in project overview