Subject: Re: [core] Call for consensus: Should we switch out the option encoding?

From: <[email-masked]>
Date: Tue, 04 Dec 2012 19:06:56 +0800

Good idea! I strongly agree of changing the option encoding to the
one proposed by Klaus.