> Am 18.12.2016 um 01:13 schrieb David T. Lewis <lewis at mail.msen.com>:
> Having said that, I think that having two kinds of preference is already
> one too many. So my only strong opinion here is that we should not start
> another design and implementation until we finish implementing one of the
> existing ones. If we are moving to pragma preferences, then let's finish
> doing that. If there are known deficiencies or bugs in the pragma preference
> implementation, then let's fix them if we know how to do so.
> 
> I am not saying that I am an advocate of using or not using pragmas, I am
> just saying that sometimes it is more important to get things done than
> to get them perfect.
I totally agree. I had thought there had been a decision (by the board?) or at least a consensus that the pragma preferences were they way to go. :-/

Bernhard