Subject: Re: [PATCH 1/2] Makefile: Windows lacks /dev/tty

From: Johannes Sixt <[email-masked]>
Date: Mon, 12 Dec 2011 22:52:11 +0100

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