On Tue, 17 Mar 2009, Bastian Blank wrote: > Author: waldi > Date: Tue Mar 17 16:58:06 2009 > New Revision: 13155 > > Log: > debian/patches/debian/scripts-kconfig-reportoldconfig.patch: > Ignore unchangable options. > thanks, that's great!