From a34c47c56b6ccacd26f648b04d95279592f1261c Mon Sep 17 00:00:00 2001 From: Torben Wiedemann <7226617+TWiedemann@users.noreply.github.com> Date: Tue, 29 Sep 2026 09:54:20 +0200 Subject: [PATCH] Clarify order in documentation --- lib/list.gd | 2 ++ 1 file changed, 2 insertions(+) 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