[merge] put back Option.short_name()

John Arbash Meinel john at arbash-meinel.com
Wed Jan 10 15:58:19 GMT 2007

John Arbash Meinel has voted +1.
Status is now: Approved
This should be merged for 0.14 for compatibility. I'll discuss my 
SHORT_OPTIONS suggestions on the list.

For details, see: 

More information about the bazaar mailing list