>>>>> "Fabio" == Fabio Porcedda <fabio.porcedda at gmail.com> writes: Fabio> Use a option name that doesn't change for every new 3.x version. Fabio> It's easier to maintain and consistent with barebox. Committed, thanks. -- Bye, Peter Korsgaard