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,  :)


Reply via email to