[coreboot-gerrit] Patch merged into coreboot/master: devtree: Drop unused parameter show_devs_tree() call

[gerrit at coreboot.org]

the following patch was just integrated into master:
commit 3d3c8c30ead13f641d97e4b526547fe5af71522f
Author: Kyösti Mälkki <kyosti.malkki at gmail.com>
Date:   Mon Aug 15 10:04:21 2016 +0300

    devtree: Drop unused parameter show_devs_tree() call
    
    Change-Id: I14c044bb32713ef4133bce8a8238a2bc200c4959
    Signed-off-by: Kyösti Mälkki <kyosti.malkki at gmail.com>
    Reviewed-on: https://review.coreboot.org/18085
    Tested-by: build bot (Jenkins)
    Reviewed-by: Paul Menzel <paulepanter at users.sourceforge.net>
    Reviewed-by: Martin Roth <martinroth at google.com>


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

-gerrit