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?
Thomas