Merge pull request #2382 from kuzkry:dead-metafunction
PiperOrigin-RevId: 263416977
Gennadiy Civil <misterg@google.com> | Aug 15 2019, 23:34 |
• trottet | Dec 4 2019, 13:52 |
Commit | Author | Details | Committed | |||
---|---|---|---|---|---|---|
d51cce4fc7a5 | Krystian Kuzniarek | remove a dead metafunction | Aug 8 2019 |