3 ms·
That's a downside of using headers, not a reason for using them. If upstream git changes to help this, it would involve having those preserve the headers. (thou
by steveklabnik 2y ago
That's a downside of using headers, not a reason for using them. If upstream git changes to help this, it would involve having those preserve the headers. (though cherry-pick has good arguments of preserving vs generating a new one)
- bananapub 2y agoah, I'm sorry, I misread your comment (and should have mentioned the cherry-pick thing anyway).
- steveklabnik 2y agoIt’s all good!