On 09/11/2018 21:22, Hesham Almatary wrote: > --- > bare/config/devel/spike-1.1.0.cfg | 4 ++-- > source-builder/config/spike-1-1.cfg | 20 ++++++++++---------- > 2 files changed, 12 insertions(+), 12 deletions(-) OK to push. Chris