Re: support for java 14 records

James Ahlborn <[email protected]> Fri, 8 Nov 2024 08:40:33 -0500
Newsgroups gmane.comp.gnu.global.bugs
Message-ID <CAHTTz9nv3Fr5rYFD1Qz15NVjh0igKiymPivuHkQGe8TRVA3Q-w@mail.gmail.com>
--000000000000c91435062666e532
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

awesome, thank you so much!

On Fri, Nov 8, 2024 at 7:25=E2=80=AFAM Shigio YAMAGUCHI <[email protected]> wr=
ote:

> Sorry for the delay, but I've committed your patch and will release it
> later this year.
> Thank you!
>
> Regards,
> Shigio
>
> On Fri, Sep 20, 2024 at 9:31=E2=80=AFAM James Ahlborn <[email protected]=
> wrote:
> >
> > java 14 added records, which are a new type of class.  i'm hoping that
> supporting them in global is as simple as the attached patch.
> >
> >
>
>
> --
> Shigio YAMAGUCHI <[email protected]>
> PGP fingerprint:
> 26F6 31B4 3D62 4A92 7E6F  1C33 969C 3BE3 89DD A6EB
>

--000000000000c91435062666e532
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">awesome, thank you so much!</div><br><div class=3D"gmail_q=
uote"><div dir=3D"ltr" class=3D"gmail_attr">On Fri, Nov 8, 2024 at 7:25=E2=
=80=AFAM Shigio YAMAGUCHI &lt;<a href=3D"mailto:[email protected]">shigio@gnu.=
org</a>&gt; wrote:<br></div><blockquote class=3D"gmail_quote" style=3D"marg=
in:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1e=
x">Sorry for the delay, but I&#39;ve committed your patch and will release =
it<br>
later this year.<br>
Thank you!<br>
<br>
Regards,<br>
Shigio<br>
<br>
On Fri, Sep 20, 2024 at 9:31=E2=80=AFAM James Ahlborn &lt;<a href=3D"mailto=
:[email protected]" target=3D"_blank">[email protected]</a>&gt; wrote:<br=
>
&gt;<br>
&gt; java 14 added records, which are a new type of class.=C2=A0 i&#39;m ho=
ping that supporting them in global is as simple as the attached patch.<br>
&gt;<br>
&gt;<br>
<br>
<br>
-- <br>
Shigio YAMAGUCHI &lt;<a href=3D"mailto:[email protected]" target=3D"_blank">sh=
[email protected]</a>&gt;<br>
PGP fingerprint:<br>
26F6 31B4 3D62 4A92 7E6F=C2=A0 1C33 969C 3BE3 89DD A6EB<br>
</blockquote></div>

--000000000000c91435062666e532--