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