Skip to content

Conversation

@christophstrobl
Copy link
Member

Closes: #4238

mp911de pushed a commit that referenced this pull request Jan 11, 2023
mp911de added a commit that referenced this pull request Jan 11, 2023
Introduce HintFunction to encapsulate how hints are applied and to remove code duplications.

See #4238
Original pull request: #4243
@mp911de mp911de added the type: enhancement A general enhancement label Jan 11, 2023
@mp911de mp911de added this to the 4.1 M1 (2023.0.0) milestone Jan 11, 2023
@mp911de mp911de closed this Jan 11, 2023
@mp911de mp911de deleted the issue/4238 branch January 11, 2023 15:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: enhancement A general enhancement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Use correct syntax to apply query hint to aggregations

3 participants