On 21/02/2018 01:47, Maksim E. Kozlov wrote: > According to commit d30be3129e9681a74efc80ce241aaf3c3a5b0efe in > rtems-source-builder repo. > > Signed-off-by: Maksim E. Kozlov <maksim.e.kozlov at gmail.com> Pushed. Thank you. Chris