Hi Guix,

There was a minor update to cedille.

Thanks,

John