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

DOTNET_USE_POLLING_FILE_WATCHER=true (docker-ci) (#11855) #11865

Merged
merged 1 commit into from
Feb 4, 2020
Merged

DOTNET_USE_POLLING_FILE_WATCHER=true (docker-ci) (#11855) #11865

merged 1 commit into from
Feb 4, 2020

Conversation

San4es
Copy link
Contributor

@San4es San4es commented Feb 4, 2020

@San4es San4es self-assigned this Feb 4, 2020
@AlekseyMartynov AlekseyMartynov merged commit 3753dab into DevExpress:19_2 Feb 4, 2020
@San4es San4es deleted the cherry-pick-11855-19-2 branch February 4, 2020 12:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@AlekseyMartynov AlekseyMartynov AlekseyMartynov approved these changes

@AntonSermyazhko AntonSermyazhko Awaiting requested review from AntonSermyazhko

Assignees

@San4es San4es

Labels
19_2 cherry-pick
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@San4es @AlekseyMartynov