Subject: merging 11074 and 11100

From: Jim Meyering <[email-masked]>
Date: Tue, 08 May 2012 11:13:49 +0200

forcemerge 11074 11100
thanks

11074 and 11100 are essentially equivalent,
so now that 11100 is fixed, so is 11074.