Subject: Re: Duplicate/conflicting definitions for ocl-icd
From: Guillaume Le Vaillant <[email-masked]>
To: Tobias Geerinckx-Rice <[email-masked]>
Cc: [email-masked], Lars-Dominik Braun <[email-masked]>
Date: Thu, 21 Sep 2023 15:44:02 +0000
List-Id: <debbugs-submit.debbugs.gnu.org>

As the duplicate has been removed, I'm closing the issue.
If one day we find a conflict between open-icd-loader and ocl-icd, we'll
open a new bug report.