util:smerge2/*: fixed merging of lists (equal values got compared again in the next step and may thus have been inserted into the result list again)
util:smerge2/*: fixed merging of lists (equal values got compared again in the next step and may thus have been inserted into the result list again)

l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror,l4u/scalaris-mirror