On Tuesday, 2 June 2020 15.57.14 WEST Jonathan Wakely wrote:

> The side tag is merging right now, you just have to wait for 100+

> packages to be signed, and they'll be in rawhide.

Oops, I submitted now a new lyx for rawhide. If for some reason it picks the old boost I will rebuild it with 1.73.

Thank you.

--

José Abílio