tree 49348c61771b6d1aeedb8216468a9485eb523bad
parent 397e8f2279621f4ca520c832b5fd05ccc8141176
parent 60ac622245a04e83302db866cf9244f1b71b62dd
author Treehugger Robot <treehugger-gerrit@google.com> 1528939650 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1528939650 +0000

Merge "screen_ui: Call gr_exit() from dtor."