commit | 614aa9079ce9d53723c7a52f38c559f8335ab75c | [log] [tgz] |
---|---|---|
author | Eli Friedman <efriedma@quicinc.com> | Fri Apr 03 14:57:12 2020 -0700 |
committer | Copybara-Service <copybara-worker@google.com> | Thu Sep 03 18:08:38 2020 -0700 |
tree | b21ba0e44540b8434750c0449ec6fe19b81a1102 | |
parent | 8216cf363f005b5e842288ae7ce4634521071eca [diff] |
[polly][opaque pointers] Remove use of deprecated APIs. (See also D76269.) GitOrigin-RevId: 3e5d671c1910a0477e352eb858654ad5e45f4757