3 ms·
You mention that apps can safely ignore annotations of unknown types, but you should probably specify that they are still expected to preserve such annotations
by rcthompson 6y ago
You mention that apps can safely ignore annotations of unknown types, but you should probably specify that they are still expected to preserve such annotations even if they don't use them for anything, i.e. ignore doesn't mean "discard".
- nobody_nothing 6y agoAdded[1]! Thank you. [1] https://github.com/gamburg/margin/commit/d9abf003f665627d39288ff5036ee2af49abd9fd https://github.com/gamburg/margin/commit/d9abf003f665627d392...