commit | 0c95087640e43a756e50159e5b53a9b05025e06b | [log] [tgz] |
---|---|---|
author | Doug Gregor <dgregor@apple.com> | Tue Oct 04 14:30:07 2016 -0700 |
committer | GitHub <noreply@github.com> | Tue Oct 04 14:30:07 2016 -0700 |
tree | 290d7ced055ebb498e43158e9e05701317d51911 | |
parent | 8c9307e884d9e3d9645d41d0d64a35c1ef1e6a9e [diff] | |
parent | 2d1e0b2da80833f89089b528192f1180110da208 [diff] |
Merge pull request #30 from DougGregor/versioned-apinotes-3_1 [API Notes] Allow versioned API notes to override information provided by headers