-1 to be in sync with my vote in #37796.
On Friday, April 19, 2024 at 5:35:57 AM UTC+9 Marc Culler wrote:
>
>
> On Thursday, April 18, 2024 at 12:47:36 PM UTC-5 David Roe wrote:
>
> On Thu, Apr 18, 2024 at 1:43 PM Matthias Koeppe wrote:
>
> I will first note that the title of this post is
On Thursday, April 18, 2024 at 12:47:36 PM UTC-5 David Roe wrote:
On Thu, Apr 18, 2024 at 1:43 PM Matthias Koeppe wrote:
I will first note that the title of this post is misleading.
Everything that was merged has been reviewed -- as noted, many months ago.
I agree that everything was
On Thu, Apr 18, 2024 at 1:51 PM Matthias Koeppe
wrote:
> David, none of this explains the misleading use of the word "unreviewed".
I believe that it does. If there was confusion, hopefully this exchange
can help clarify it for others.
David
> On Thursday, April 18, 2024 at 10:47:36 AM UTC-7
David, none of this explains the misleading use of the word "unreviewed".
On Thursday, April 18, 2024 at 10:47:36 AM UTC-7 David Roe wrote:
> On Thu, Apr 18, 2024 at 1:43 PM Matthias Koeppe
> wrote:
>
>> I will first note that the title of this post is misleading.
>> Everything that was
On Thu, Apr 18, 2024 at 1:43 PM Matthias Koeppe
wrote:
> I will first note that the title of this post is misleading.
> Everything that was merged has been reviewed -- as noted, many months ago.
>
I agree that everything was reviewed. However review refers not only to
the action of giving
