On 2020-02-05 10:15 +1100, Chris Johns wrote: > > Many thanks for the buildbot effort and all you do. It is an important part of > RTEMS's development. Thank you. Amar.