ref: 3db5721e213640295a37d3d574639916c2ab1b64
parent: 7238492235237457997cfa8a9713ea36523174cb
parent: 36ffe64498d784757b0dacf5f359ac4e403f14da
author: Ronald S. Bultje <rsbultje@gmail.com>
date: Mon Sep 28 12:25:20 EDT 2015
Merge "Rename display_{size,width,height} to render_*."