[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH v2] org-id: allow using parent's existing id in links to head
|
From: |
Bastien Guerry |
|
Subject: |
Re: [PATCH v2] org-id: allow using parent's existing id in links to headlines |
|
Date: |
Sat, 24 Feb 2024 11:48:11 +0100 |
|
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Hi,
Ihor Radchenko <yantar92@posteo.net> writes:
> "Rick Lupton" <mail@ricklupton.name> writes:
>
>> On Fri, 9 Feb 2024, at 12:09 PM, Ihor Radchenko wrote:
>>> May you please update on your FSF copyright assignment status?
>>
>> I believe the agreement is all signed and completed.
>
> Bastien, may your please check FSF records?
Done, and it is well in order.
--
Bastien Guerry
- Re: [PATCH v2] org-id: allow using parent's existing id in links to headlines, (continued)
- Re: [PATCH v2] org-id: allow using parent's existing id in links to headlines, Rick Lupton, 2024/02/01
- Re: [PATCH v2] org-id: allow using parent's existing id in links to headlines, Ihor Radchenko, 2024/02/03
- [PATCH] lisp/ol.el: Improve docstring, Rick Lupton, 2024/02/08
- Re: [PATCH v2] org-id: allow using parent's existing id in links to headlines, Rick Lupton, 2024/02/08
- Re: [PATCH v2] org-id: allow using parent's existing id in links to headlines, Ihor Radchenko, 2024/02/08
- Re: [PATCH v2] org-id: allow using parent's existing id in links to headlines, Rick Lupton, 2024/02/08
- Re: [PATCH v2] org-id: allow using parent's existing id in links to headlines, Ihor Radchenko, 2024/02/09
- Re: [PATCH v2] org-id: allow using parent's existing id in links to headlines, Rick Lupton, 2024/02/09
- Re: [PATCH v2] org-id: allow using parent's existing id in links to headlines, Ihor Radchenko, 2024/02/09
- Re: [PATCH v2] org-id: allow using parent's existing id in links to headlines,
Bastien Guerry <=
- Re: [PATCH v2] org-id: allow using parent's existing id in links to headlines, Ihor Radchenko, 2024/02/24
- Re: [PATCH v2] org-id: allow using parent's existing id in links to headlines, Rick Lupton, 2024/02/24
Re: [PATCH v2] org-id: allow using parent's existing id in links to headlines, Ihor Radchenko, 2024/02/03