mdeslaurwhen does a PPA's repo get cleaned? I deleted packages while they were building and now there's still binary packages in the repo itself19:24
mdeslaurie: the +really8.0.31 packages in here need to go away: https://ppa.launchpadcontent.net/ubuntu-security-proposed/ppa/ubuntu/pool/main/m/mysql-8.0/19:25
cjwatsonmdeslaur: six-hourly cron job IIRC20:17
mdeslaurcjwatson: ah, cool, thanks20:17

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!