On Wed, Jan 17, 2024 at 10:54:43 +0100, Andrea Bolognani wrote: > It's no longer used anywhere. > > Signed-off-by: Andrea Bolognani <abologna@xxxxxxxxxx> > --- Reviewed-by: Peter Krempa <pkrempa@xxxxxxxxxx> _______________________________________________ Devel mailing list -- devel@xxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxx
