That's a great point which didn't occur to me; thanks for mentioning it! For people curious about what was merged, see https://lwn.net/Articles/518711/ https:/

That's a great point which didn't occur to me; thanks for mentioning it! For people curious about what was merged, see https://lwn.net/Articles/518711/ https://lwn.net/Articles/518711/ and https://lwn.net/Articles/519883/ https://lwn.net/Articles/519883/