From e8e389a4bce4f9783ec5a0b57f89843ac00342da Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Tue, 2 May 2017 18:07:27 -0400 Subject: capitalization --- Role/Developer.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Role') diff --git a/Role/Developer.hs b/Role/Developer.hs index 51ada28..2cc6c1c 100644 --- a/Role/Developer.hs +++ b/Role/Developer.hs @@ -68,7 +68,7 @@ developer dsv ichan ochan sid = withSessionLogger (Just "remote") sid $ \logger "(But, you can't type anything yet.)" emitOutput startoutput displayInControlWindow controlinput - "Waiting for the user to check your Gnupg key and grant write access ..." + "Waiting for the user to check your GnuPG key and grant write access ..." authUser spk ichan ochan devstate logger >>= go controlinput controloutput logger devstate where -- cgit v1.2.3