[coreboot-gerrit] Patch merged into coreboot/master: 0dd37ad board-status: one-line reports, with links to per-board pages

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 0dd37ada97cbc1b591d79d66acb66ed853e02606
Author: Patrick Georgi <patrick at georgi-clan.de>
Date:   Sat Dec 7 10:44:52 2013 +0100

    board-status: one-line reports, with links to per-board pages
    
    Make boards take less vertical space, and link to board pages
    
    Change-Id: Ifdd062a15191809b75422416c874161d9114363d
    Signed-off-by: Patrick Georgi <patrick at georgi-clan.de>


See http://review.coreboot.org/4493 for details.

-gerrit