Re: [Advent bug squashing] double source build failures #1043957 and #1047043

Dear Étienne

Thanks! That might also have solved/positively affected bug #1056953, no (probably requires a rebuild of camitk too)?

Best regards

On 05/12/2023 00:24, Étienne Mollier <[email protected]> wrote:
> Hi,
> 
> Still counting for December 4th if counting from UTC+0000, I
> fixed two minor cases of double source build failures for today.
> #1047043 notably affected insighttoolkit5 which is rather heavy
> to build, so people running on laptops do not lose too much time
> on it.
> 
> Have a good night,  :)
>