1. 2023-10-01 Re: Problems while attempting configure the CI to bui kde-devel Stefano Crocco 2. 2023-10-01 Re: Problems while attempting configure the CI to bui kde-devel Nicolas Fella 3. 2023-10-01 Problems while attempting configure the CI to build K kde-devel Stefano Crocco