On Thu, Jun 29, 2023 at 02:41:16PM +0200, Daniel Vacek wrote: > Bump. > > Was this forgotten or overlooked? No, it just has to be processed manually if it is not a github PR.. Jason
On Thu, Jun 29, 2023 at 02:41:16PM +0200, Daniel Vacek wrote: > Bump. > > Was this forgotten or overlooked? No, it just has to be processed manually if it is not a github PR.. Jason