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 <jvdelis...@gmail.com> 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 

Reply via email to