On Tue, Feb 7, 2023 at 9:27 AM Maxime Coquelin <maxime.coque...@redhat.com> wrote: > On 2/7/23 09:05, David Marchand wrote: > > Renaming this driver and its associated doc was not properly handled > > with regard to the previous 22.11 release notes. > > As discussed, ninja did not try again to build the release note after > having fixed the initial issue. Forcing its rebuild I could reproduce > the issue.
The CI and my own setup triggers the error right away. Thomas is looking into this so we force regeneration of the docs. -- David Marchand