add conversion of PartitionIteratorType to PartitionSet
This patch adds a function "partitionSet()" to convert a given PartitionIteratorType into a PartitionSet. This helps in the transition from PartitionIteratorTypes to PartitionSets.
This patch adds a function "partitionSet()" to convert a given PartitionIteratorType into a PartitionSet. This helps in the transition from PartitionIteratorTypes to PartitionSets.
Somehow nobody ever reacted to this MR. I like it and would merge asap.
Mentioned in commit 8634920d
Status changed to merged