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.

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

Already on GitHub? Sign in to your account

Fix incorrect Discord embed error messages. Fix potential deadlock when a directory copy gets cancelled #1565

Merged
merged 4 commits into from
Jun 22, 2023

Conversation

Cyberboss
Copy link
Member

馃啈
Fixed incorrect wording in the error message embed TGS sends when receiving bad input from DM code.
Fixed a deadlock that could happen if a directory copy operation was cancelled.
/:cl:

@Cyberboss Cyberboss added Fix Fixes incorrect functionality Area: Chat With regard to managing chat bots labels Jun 21, 2023
@Cyberboss Cyberboss added this to the v5.12.7 milestone Jun 21, 2023
github-actions[bot]
github-actions bot previously approved these changes Jun 21, 2023
@Cyberboss Cyberboss enabled auto-merge June 21, 2023 15:44
@codecov
Copy link

codecov bot commented Jun 22, 2023

Codecov Report

Merging #1565 (581c06b) into master (2d1c090) will increase coverage by 0.10%.
The diff coverage is 33.33%.

@@            Coverage Diff             @@
##           master    #1565      +/-   ##
==========================================
+ Coverage   72.74%   72.85%   +0.10%     
==========================================
  Files         352      352              
  Lines       21925    21925              
==========================================
+ Hits        15950    15973      +23     
+ Misses       5975     5952      -23     

@Cyberboss Cyberboss merged commit b52bdee into master Jun 22, 2023
74 checks passed
@Cyberboss Cyberboss deleted the MiscFixes branch June 22, 2023 00:42
@Cyberboss Cyberboss modified the milestones: v5.12.7, v5.13.0 Jul 15, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: Chat With regard to managing chat bots Fix Fixes incorrect functionality
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant