Am 12.12.2011 22:18, schrieb Jeff King: > The most recent version of the prompt series has platforms opting into > the replacement with HAVE_DEV_TTY. I see. Obviously, I've tested an earlier iteration. This patch can be dropped then. -- Hannes -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html