Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
[feature] extend range index conditions #1252
This adds a few extensions to the attribute range index condition introduced in #1233:
I'll be happy to add some documentation on this to the "New Range Index" page later on...