[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#1015179: Please update ppxlib to latest upstream



Hi,

Le jeudi 22 septembre 2022 à 14:44 +0200, Stéphane Glondu a écrit :
> 
> I've changed the settings in salsa. Can you push, now?
> 

Yes ; I pushed the package I pushed to experimental in salsa.

I'll try to work on checking again what is needed to push to unstable
when I find the time.

Cheers,

J.Puydt


Reply to: