I20200505-1800
tagged this
05 May 19:52
When the array of elements to filter is already empty, the result can also only be empty. For that case just return the empty element array. Change-Id: I540df2ec9c5deeb3a26077e942bedfbbf363bbb2 Signed-off-by: Karsten Thoms <karsten.thoms@karakun.com>