Ok, let’s keep the original time to give the authors a chance to have a
discussion.

This is not a decision making call, any further input can be done at a
later point too.


Best,
Nina

On Thu, 1 Feb 2024 at 07:10, Peter Sewell <Peter.Sewell_at_[hidden]> wrote:

> 5
>
> On Wed, 31 Jan 2024, 23:03 Nina Dinka Ranns, <dinka.ranns_at_[hidden]>
> wrote:
>
>> Apologies, for some reason this email skipped my inbox.
>> The purpose of this meeting is really to get the authors of the two
>> proposals in the same room.
>>
>> Authors, does moving this meeting by an hour prevent you from attending
>> the meeting ?
>>
>
> Yes - I'm free for the original time (5-6pm GMT) but not later.
>
> Please shout now if that's the case.
>>
>> Thank you,
>> Nina
>>
>>
>> On Sun, 28 Jan 2024 at 16:22, Tom Honermann <tom_at_[hidden]> wrote:
>>
>>> Hi, Nina.
>>>
>>> SG21 (Contracts) is now meeting weekly (up through the Tokyo meeting)
>>> and its next meeting overlaps with this one. Is there any chance this
>>> meeting could be pushed back by one hour?
>>>
>>> Unrelated, I think it would make sense for SG22 to discuss CWG 2836
>>> (Conversion rank of long double and extended floating-point types)
>>> <https://wg21.link/cwg2836> (GitHub issue 1699
>>> <https://github.com/cplusplus/papers/issues/1699>) at a future meeting.
>>>
>>> Tom.
>>> On 1/4/24 6:45 AM, Nina Dinka Ranns via Liaison wrote:
>>>
>>> Hi all,
>>>
>>> we will have an SG22 discussion regarding C and C++ pointer provenance
>>> models on Thursday, the 1st of February at 12:00 EDT/17:00 UTC
>>>
>>> The purpose of this meeting is to better understand how P2318
>>> <https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p2318r1.pdf>
>>> and P2434
>>> <https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2434r0.html> relate
>>> to each other and whether there is a common solution that is suitable for
>>> both languages.
>>>
>>> Zoom details :
>>> https://iso.zoom.us/j/91375217748?pwd=YnlRa0VmU0Y4NTdieGNVbkE1M2lZZz09
>>> <https://iso.zoom.us/j/91375217748?pwd=YnlRa0VmU0Y4NTdieGNVbkE1M2lZZz09>
>>>
>>> You should be able to join via the link without a passcode. If need be,
>>> the passcode is the same as last time : WG14WG21
>>>
>>> Please do not publicly share the link as this is an ISO meeting and only
>>> open to the ISO members.
>>>
>>> Any questions, please let me know.
>>>
>>> Best,
>>> Nina
>>>
>>> _______________________________________________
>>> Liaison mailing listLiaison_at_[hidden]
>>> Subscription: https://lists.isocpp.org/mailman/listinfo.cgi/liaison
>>> Searchable archives: http://lists.isocpp.org/liaison/2024/01/index.php
>>>
>>>