On Thu, Feb 5, 2015 at 11:22 AM, Sebastian Schuberth <sschube...@gmail.com> wrote: > On Thu, Feb 5, 2015 at 8:19 PM, Sebastian Schuberth > <sschube...@gmail.com> wrote: > >>> Is that an improvement? Is the plural of "dup" (used as an >>> abbreviation of "duplicate") "dupes" not "dups"? >> >> My view is that the abbreviation of "duplicate" is not "dup" but >> "dupe", hence the plural "dupes". > > For "duplicate" the noun, that is. For "duplicate" the verb I'd be ok > with "dup" as the abbreviation. "to dup" sounds and looks better than > "to dupe" :-) >
We could also not abbreviate that word to avoid discussion there. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html
