tree 1d381a5dd2eb1550eab65e9b3c3a734996ee090f
parent e8dabfc5b0e73ebbbffe4b8415a6922d61265055
author Ian Zerny <zerny@google.com> 1617955072 +0200
committer Ian Zerny <zerny@google.com> 1617955072 +0200

Unify handling of scoped and global mapping information.

Change-Id: I6e1f0eb64d52d9ec6ebe1004c4276ed97fb35e78