Oh, I wasn't disputing that should be fixed. I always use menuconfig,
or pipe something to oldconfig, so I don't see it personally ... but
that seemed to be under no debate - Roman already said he'd fix that;
it's obviously a bug.
M.
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/