Alan wrote (18 Mar 2015 21:20:02 GMT) :
> On Sun, 15 Mar 2015 23:29:55 +0100
> intrigeri <intrigeri@???> wrote:
>> sajolida wrote (15 Mar 2015 19:46:47 GMT) :
>> >> I'm personally undecided wrt. which one of these two is the best.
>>
>> > Neither am I :)
>>
>> Then I'm all for "those who do the work decide" — in this case, that
>> would be Alan.
>>
> Then there will be a menu I think.
May you (or someone else) please encode this decision (and sum up the
reasoning behind it) in a ticket, so that we don't have to retrieve it
from a lengthy thread in the future?
Cheers,
--
intrigeri