[coreboot-gerrit] Patch merged into coreboot/master: 04bfbf5 pit: Rename pit to peach_pit.

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 04bfbf50950df6ef78aa354698b226928a4024bc
Author: Gabe Black <gabeblack at google.com>
Date:   Wed Jan 22 20:50:27 2014 -0800

    pit: Rename pit to peach_pit.
    
    The name pit goes by in many places in chromeos is peach_pit, where peach is
    the base name and pit is the name of this particular variant. To make it
    easier to work with within chromeos and to make the board names a little less
    ambiguous, this change renames the pit board to peach_pit, and from Pit to
    Peach Pit.
    
    Change-Id: I51c89ba3785cf4cb9769a989b1cac71bcd1b0a05
    Signed-off-by: Gabe Black <gabeblack at google.com>
    Reviewed-on: https://chromium-review.googlesource.com/183552
    Reviewed-by: David Hendricks <dhendrix at chromium.org>
    Commit-Queue: Gabe Black <gabeblack at chromium.org>
    Tested-by: Gabe Black <gabeblack at chromium.org>
    (cherry picked from commit cbbe1e9f04e34436a1bbae28628e0b5630d41054)
    Signed-off-by: Isaac Christensen <isaac.christensen at se-eng.com>
    Reviewed-on: http://review.coreboot.org/6928
    Tested-by: build bot (Jenkins)
    Reviewed-by: Ronald G. Minnich <rminnich at gmail.com>
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>


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

-gerrit