On 04/09/15 12:11, Bruce Momjian wrote:
> On Thu, Sep 3, 2015 at 11:37:09PM +0200, Petr Jelinek wrote:
>>> I don't understand. I'm just proposing that the source code for the
>>> extension to live in src/extensions/, and have the shared library
>>> installed by toplevel make install; I'm not suggesting that the
>>> extension is installed automatically. For that, you still need a
>>> superuser to run CREATE EXTENSION.
>>>
>> +! for this
> OK, what does "+!" mean? (I know it is probably a shift-key mistype,
> but it looks interesting.)
>
It obviously signifies a Good Move that involved a check - at least,
that is what it would mean when annotating a Chess Game! :-)
