tree 0d7c132f0210f9c84ac0ef0a96d4c2393632e821
parent 70d8a64f22eb30952df182cb7a1219c0cc8ae915
author Jakub Josef <jakub.josef@gmail.com> 1493031513 +0200
committer Jakub Josef <jakub.josef@gmail.com> 1493031598 +0200

NonCPS annotation returned

Change-Id: I4db8caf272abec20899923bb374cf4b87bb3eaa6