>>>>> "Gustavo" == Gustavo Zacarias <gustavo at zacarias.com.ar> writes: > It's been deprecated for a year now so remove the option. > Also rename patch to new naming convention. > Signed-off-by: Gustavo Zacarias <gustavo at zacarias.com.ar> Committed, thanks. -- Bye, Peter Korsgaard