[coreboot-gerrit] Patch merged into coreboot/master: 09b5e4d AMD8131: Remove obsolete directory

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 09b5e4d005a29dc244ae9e86a76a7616795722a5
Author: Kyösti Mälkki <kyosti.malkki at gmail.com>
Date:   Mon Feb 2 16:39:59 2015 +0200

    AMD8131: Remove obsolete directory
    
    Change-Id: I875384e55a4a71d1a5c962d128d13356f3befa56
    Signed-off-by: Kyösti Mälkki <kyosti.malkki at gmail.com>
    Reviewed-on: http://review.coreboot.org/8335
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Patrick Georgi <pgeorgi at google.com>


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

-gerrit