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