in prefer(), move server to top of list instead of duplicating#19
Merged
stapelberg merged 1 commit intorobustirc:masterfrom Dec 17, 2024
Merged
in prefer(), move server to top of list instead of duplicating#19stapelberg merged 1 commit intorobustirc:masterfrom
stapelberg merged 1 commit intorobustirc:masterfrom
Commits
Commits on Dec 16, 2024
- authored