tree 62e376afc0f31a178c3dfc09a7f5086122db60b7
parent 851342420d4f240b603d8182947d1c73af10510d
author Philipp Wollermann <philwo@google.com> 1598444771 +0200
committer Philipp Wollermann <philwo@google.com> 1598451355 +0200

Re-add Android emulator, too