Gedare, Sebastian,
Thanks for all you help  and good feedback.

Is there a timeline for when the document will be rebuilt to show the new 
chapter?

Regards, Andrew


-------------------------------------------------------------------- 
Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204 
Lero@TCD, Head of Software Foundations & Verification Research Group 
School of Computer Science and Statistics, 
Room G.39, O'Reilly Institute, Trinity College, University of Dublin 
http://www.scss.tcd.ie/Andrew.Butterfield/ 
<http://www.scss.tcd.ie/Andrew.Butterfield/> 
-------------------------------------------------------------------- 



On 09/11/2023, 15:27, "Gedare Bloom" <ged...@rtems.org 
<mailto:ged...@rtems.org>> wrote:


Andrew,


Thanks for working through this.


Gedare


On Thu, Nov 9, 2023 at 7:19 AM andrew.butterfi...@scss.tcd.ie 
<mailto:andrew.butterfi...@scss.tcd.ie>
<andrew.butterfi...@scss.tcd.ie <mailto:andrew.butterfi...@scss.tcd.ie>> wrote:
>
> Hello Sebastian,
> Thanks for that, and the fixes !
>
> Regards, Andrew
>
> --------------------------------------------------------------------
> Andrew Butterfield Tel: +353-1-896-2517 Fax: +353-1-677-2204
> Lero@TCD, Head of Software Foundations & Verification Research Group
> School of Computer Science and Statistics,
> Room G.39, O'Reilly Institute, Trinity College, University of Dublin
> http://www.scss.tcd.ie/Andrew.Butterfield/ 
> <http://www.scss.tcd.ie/Andrew.Butterfield/> 
> <http://www.scss.tcd.ie/Andrew.Butterfield/> 
> <http://www.scss.tcd.ie/Andrew.Butterfield/&gt;>
> --------------------------------------------------------------------
>
>
>
>
>
> On 09/11/2023, 12:47, "Sebastian Huber" <sebastian.hu...@embedded-brains.de 
> <mailto:sebastian.hu...@embedded-brains.de> 
> <mailto:sebastian.hu...@embedded-brains.de 
> <mailto:sebastian.hu...@embedded-brains.de>>> wrote:
>
>
> Hello Andrew,
>
>
> thanks for your patience. I checked in the patch set as a single patch.
> I removed all white space at the end of lines and added the TCD
> copyright to the index.
>
>
> https://git.rtems.org/rtems-docs/commit/?id=2c88912893ebbcc3b9fa14d4fcc100c42252d0df
>  
> <https://git.rtems.org/rtems-docs/commit/?id=2c88912893ebbcc3b9fa14d4fcc100c42252d0df>
>  
> <https://git.rtems.org/rtems-docs/commit/?id=2c88912893ebbcc3b9fa14d4fcc100c42252d0df>
>  
> <https://git.rtems.org/rtems-docs/commit/?id=2c88912893ebbcc3b9fa14d4fcc100c42252d0df&gt;>
>
>
> Kind regards,
> Sebastian
>
>
> --
> embedded brains GmbH
> Herr Sebastian HUBER
> Dornierstr. 4
> 82178 Puchheim
> Germany
> email: sebastian.hu...@embedded-brains.de 
> <mailto:sebastian.hu...@embedded-brains.de> 
> <mailto:sebastian.hu...@embedded-brains.de 
> <mailto:sebastian.hu...@embedded-brains.de>>
> phone: +49-89-18 94 741 - 16
> fax: +49-89-18 94 741 - 08
>
>
> Registergericht: Amtsgericht München
> Registernummer: HRB 157899
> Vertretungsberechtigte Geschäftsführer: Peter Rasmussen, Thomas Dörfler
> Unsere Datenschutzerklärung finden Sie hier:
> https://embedded-brains.de/datenschutzerklaerung/ 
> <https://embedded-brains.de/datenschutzerklaerung/> 
> <https://embedded-brains.de/datenschutzerklaerung/> 
> <https://embedded-brains.de/datenschutzerklaerung/&gt;>
>
>
>
> _______________________________________________
> devel mailing list
> devel@rtems.org <mailto:devel@rtems.org>
> http://lists.rtems.org/mailman/listinfo/devel 
> <http://lists.rtems.org/mailman/listinfo/devel>





_______________________________________________
devel mailing list
devel@rtems.org
http://lists.rtems.org/mailman/listinfo/devel

Reply via email to