Skip to content

Conversation

@quanzhuo
Copy link
Contributor

@quanzhuo quanzhuo commented Apr 9, 2022

…rger than 0

This PR fixes #140612

@JacksonKearl JacksonKearl merged commit 016c20f into microsoft:main Apr 11, 2022
@JacksonKearl JacksonKearl added this to the April 2022 milestone Apr 11, 2022
@quanzhuo quanzhuo deleted the fix140612 branch April 29, 2022 08:26
@quanzhuo quanzhuo restored the fix140612 branch April 29, 2022 08:26
@quanzhuo quanzhuo deleted the fix140612 branch April 29, 2022 08:27
@github-actions github-actions bot locked and limited conversation to collaborators May 26, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

After changing context lines to 0, increasing the context lines have no effect in search editor

2 participants