Re: Infrastructure | Disable or remove orca-devel-list (orca-list is where discussion happens) (#144)



Title: GitLab

Andrea Veri commented:

List has been archived, thanks!



[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]