On 21/03/2019 19:04, Heikki Linnakangas wrote:> Attached is the latest patch version, to be applied on top of the> IntegerSet patch.
And committed. Thanks Andrey!
- Heikki