[13:24:02] <marostegui>	 andrewbogott: The one I did on friday went well, I guess there's been a new point release and the installer needs update
[13:26:26] <marostegui>	 yep, yesterday https://www.debian.org/News/2020/20200509
[17:44:50] <volans>	 fwiw there is a script for that (see modules/profile/manifests/puppetmaster/updatenetboot.pp ) although I fail to find a dedicated doc on it, althought not mentioned there is also [1] that I think was the manual way before the script more or less, but not 100% sure.
[17:44:54] <volans>	 [1] https://wikitech.wikimedia.org/wiki/Updating_netboot_image_with_newer_kernel