Hi everyone, On Sun, May 11, 2025 at 01:56:19PM +0000, Mike Gabriel wrote: > Debian Edu 13 (esp. the workstation part) is on my plate for before/after > the Debian 13 release, but the plate is quite full these days. Is there anything to be said about this in the Debian 13 release notes? Or will you just have your own notes or whatever is suitable for Edu? Chris