On 17/8/20 13:44, Pavel Sanda wrote:
On Mon, Aug 17, 2020 at 12:53:37PM +0200, Kornel Benko wrote:
Three options have been proposed:
A. Include the change without way to opt-out
B. Include the change but only if it can be opted out
(i.e., do not include it if it cannot be opted out)
C. Do not include the change
In this subthread, please do not give any more arguments, just A, B or
C.
My vote is B.
Jürgen
A.
No strong opinion, but if pushed for decision then C (WYSIWYM argument).
Maybe Score voting should be introduced
(https://en.wikipedia.org/wiki/Score_voting). :)
--
Daniel
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
