I have skimmed over the code, and i didn't find anything strange.
The only thing is the addition of the default option for the search strategy. Isn't this redundant to just not specifying the option? Why is this needed?
« Back to merge proposal
I have skimmed over the code, and i didn't find anything strange.
The only thing is the addition of the default option for the search strategy. Isn't this redundant to just not specifying the option? Why is this needed?