Re: [O] org-id fixups and minor changes

[Carsten Dominik]

On Sun, Sep 1, 2019, 08:49 Stig Brautaset <address@hidden> wrote:

Hi Gustav,

Gustav Wikström <address@hidden> writes:
> [...] I also wonder how common it will be to try to batch-add ID’s…?

Not especially uncommon, I think.  Both the org-rss and org-drill
packages batch-add IDs on first use.

And even if that would be uncomment - at least the defaults need to be safe. 

Carsten 

Regards,
Stig