Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Dump results returned by the search #202

Closed
rusq opened this issue Mar 15, 2023 · 1 comment
Closed

Dump results returned by the search #202

rusq opened this issue Mar 15, 2023 · 1 comment
Labels
enhancement New feature or request
Milestone
v3.0.0

Comments

@rusq
Copy link
Owner

rusq commented Mar 15, 2023

subj
@rusq rusq modified the milestone: v2.2.9 Mar 18, 2023
@rusq rusq added this to the v3.1 milestone Apr 1, 2023
@rusq rusq added the enhancement New feature or request label Apr 13, 2023
rusq added a commit that referenced this issue May 20, 2023
@rusq
#202 channel members
1832539
rusq added a commit that referenced this issue May 21, 2023
@rusq
implement #202
17cd1fe
@rusq rusq modified the milestones: v3.1, v3.0.0 Nov 21, 2024
@rusq
Copy link
Owner Author

rusq commented Nov 21, 2024

Implemented in v3.0.0

@rusq rusq closed this as completed Nov 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
v3.0.0
Development

No branches or pull requests
1 participant
@rusq