Thomas Huth <thuth@xxxxxxxxxx> writes: > On 12/01/2022 12.27, Alex Bennée wrote: >> From: Thomas Huth <thuth@xxxxxxxxxx> >> It's likely broken, and nobody cared for picking it up again >> during the deprecation phase, so let's remove this now. >> Since this is the last entry in deprecated_targets_list, remove >> the related code in the configure script, too. >> Signed-off-by: Thomas Huth <thuth@xxxxxxxxxx> > > Hi Alex! > > What happened to this patch here? Seems like it got lost in v2 of the > pull request? Looks like... I'll include it in the PR I'll roll later today. > > Thomas -- Alex Bennée