Hi Jerry,
thanks for the review. Committed as 87c7db8b1b2c1484d6de3331098669735d33f95e.
I also had it checked using the W3C validator w/o any errors. Therefore
committed.
Thanks again,
Andre
On Mon, 10 Mar 2025 10:01:46 -0700
Jerry D <[email protected]> wrote:
> On 3/10/25 9:57 AM, Jerry D wrote:
> > On 3/10/25 1:08 AM, Andre Vehreschild wrote:
> >> Hi Steve and Jerry,
> >>
> >> thanks for the review and the proposed changes. I have based on them, but
> >> needed to adapt some places, because the meaning was changed. Can you
> >> please
> >> take another look?
> >>
> >> Jerry, where do I find this check-script? In bin/ nothing jumps out at
> >> me to be
> >> a check-script.
> >>
> >> Thanks,
> >> Andre
> >
> > I miss spoke. Not script. Its the W3 Validator.
> >
> > See: https://gcc.gnu.org/about.html#git
> >
> > Looking at your updated patch now.
> >
> > Jerry
>
> That was an easy read and it reads clearly to me.
>
> OK to push.
>
> Jerry
--
Andre Vehreschild * Email: vehre ad gmx dot de
