>>>>> "Peter" == Peter Korsgaard <peter at korsgaard.com> writes: > This define is not used anywhere in the mongoose sources since v6.0 (commit > 8927c9d22b3f), so drop it. > Signed-off-by: Peter Korsgaard <peter at korsgaard.com> Committed all 4, thanks. -- Bye, Peter Korsgaard