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

Reply via email to