Am Thu, Feb 19, 2026 at 10:18:44PM +0100 schrieb Andreas Enge: > If all goes well, we may be able to merge tomorrow or the day after.
The day after it was, for a branch without particular problems. Thanks alot! Andreas
- bug#80374: Request for merging "rust-team" branc... Efraim Flashner
- bug#80374: Request for merging "rust-team" ... Andreas Enge
- bug#80374: Request for merging "rust-team&qu... Andreas Enge
- bug#80374: Request for merging "rust-tea... Andreas Enge
- bug#80374: Request for merging "rust... Efraim Flashner
- bug#80374: Request for merging "... Andreas Enge
- bug#80374: Request for merging &... Andreas Enge
