[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: |
Rick Lupton |
Subject: |
Re: [PATCH v2] org-id: allow using parent's existing id in links to headlines |
Date: |
Sat, 24 Feb 2024 15:57:22 +0000 |
User-agent: |
Cyrus-JMAP/3.11.0-alpha0-153-g7e3bb84806-fm-20240215.007-g7e3bb848 |
Thanks for your help with it!
On Sat, 24 Feb 2024, at 1:02 PM, Ihor Radchenko wrote:
> Bastien Guerry <bzg@gnu.org> 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.
>
> Thanks for checking!
> Applied, onto main.
> https://git.savannah.gnu.org/cgit/emacs/org-mode.git/commit/?id=6e7e0b2cd
> https://git.savannah.gnu.org/cgit/emacs/org-mode.git/commit/?id=95554543b
>
> and added a record to the contributor list.
> https://git.sr.ht/~bzg/worg/commit/0ccaf58a
>
> Rick, thanks for your contribution!
>
> --
> Ihor Radchenko // yantar92,
> Org mode contributor,
> Learn more about Org mode at <https://orgmode.org/>.
> Support Org development at <https://liberapay.com/org-mode>,
> or support my work at <https://liberapay.com/yantar92>
- [PATCH] lisp/ol.el: Improve docstring, (continued)
- [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, 2024/02/24
- 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 <=
Re: [PATCH v2] org-id: allow using parent's existing id in links to headlines, Ihor Radchenko, 2024/02/03