Re: [PATCH] choices in org-id-find for handling missing ids

[Bastien]

Hi Marc,

Marc Ihm <m...@ihm.name> writes:

> So you may feel free to ignore it ...

Done ;)

It's good to have people paying attention to this feature anyway,
so thanks!

-- 
 Bastien