tree 640c13270504ecc91c21bdc62a0b8397a4a5426f
parent c8a1e10fd2465509685d382c79d7c059db8491ac
parent c52e16cbf9798b95188c82465dfd84b914ff5199
author Jamie Gennis <jgennis@google.com> 1360797724 +0000
committer Android (Google) Code Review <android-gerrit@google.com> 1360797724 +0000

Merge changes I50831d4e,I5360aebe

* changes:
  flatland: remove an unneeded #include
  libgui: disallow NULL Fence pointers