tree 4ff835f3bf37827760cfe4eeda9385a54c14114f
parent 82545b249884e76f470c1a8409d183ccd78b2cc1
author Ian Zerny <zerny@google.com> 1590738057 +0200
committer Ian Zerny <zerny@google.com> 1590738439 +0000

Add reference to issue regarding pinning of desugared items.

Bug: 157700141

Change-Id: I6b38e59ed543c9d55e25b88b23a232d5da27a3d6