Property names usually has the form file.function.integer, and property names are sorted using the key (file.function, integer). Recursion unwinding properties sometimes have the form file.function.recursion. This patch uses the sorting key (file.function.recursion, 0) for unusual property names like this.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.
Property names usually has the form file.function.integer, and property names are sorted using the key (file.function, integer). Recursion unwinding properties sometimes have the form file.function.recursion. This patch uses the sorting key (file.function.recursion, 0) for unusual property names like this.
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.