On Tue, Oct 24, 2023 at 02:16:13PM +0200, Koen Vandeputte wrote: > This symbol was removed in an earlier commit > Remove this leftover which was forgotten then. Thanks, applied. -- Jouni Malinen PGP id EFC895FA