API: remove UniqueResult, lower-case at, size for ResultSet
2 related merge requests: !10 API: remove UniqueResult, lower-case at, size for ResultSet, !9 Draft: API: remove UniqueResult, lower-case at, size for ResultSet
6 jobs
36 minutes 38 seconds, queued for 4 seconds