From: Jacob Nevins <jacobn@chiark.greenend.org.uk>
Date: Tue, 4 Nov 2014 18:38:46 +0000 (+0000)
Subject: Merge shorter option name from 'pre-0.64'.
X-Git-Tag: 0.68~651
X-Git-Url: https://asedeno.scripts.mit.edu/gitweb/?a=commitdiff_plain;h=44a936fbb526de7076830cc1093d17fdc05884b2;hp=--cc;p=PuTTY.git

Merge shorter option name from 'pre-0.64'.
---

44a936fbb526de7076830cc1093d17fdc05884b2