Hi Alan,
intrigeri wrote (01 Jul 2015 12:32:49 GMT) :
> 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?
Ping?
(FTR, 6 months later: I'll now stop tracking that the outcome of this
thread is properly written down somewhere.)
Cheers,
--
intrigeri
