diff --git a/lib/list.gd b/lib/list.gd index f595715899..c8a79f3144 100644 --- a/lib/list.gd +++ b/lib/list.gd @@ -1398,6 +1398,8 @@ DeclareOperation( "Collected", [ IsList ] ); ## ## returns a new mutable list whose entries are the elements of the list ## list with duplicates removed. +## The order of the entries in the new list is the order of the +## first occurrences of the respective entries in list. ## only uses the = comparison ## and will not sort the result. ## Therefore can be used even if the