[coreboot-gerrit] Patch merged into coreboot/master: Fix "Spike RISCV" board name

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit d6d50099e04d3b0840f0736e15d37eecfd9c5261
Author: Jonathan Neuschäfer <j.neuschaefer at gmx.net>
Date:   Tue Apr 26 16:40:55 2016 +0200

    Fix "Spike RISCV" board name
    
    Change-Id: If0f835e69862a78433e7c1a34efa4706cc27b214
    Signed-off-by: Jonathan Neuschäfer <j.neuschaefer at gmx.net>
    Reviewed-on: https://review.coreboot.org/14517
    Tested-by: build bot (Jenkins)
    Reviewed-by: Martin Roth <martinroth at google.com>


See https://review.coreboot.org/14517 for details.

-gerrit