[PR #277] [CLOSED] tear stopper #352

New Issue

2026-02-15T15:55:44-05:00

yindo commented

2026-02-15 15:55:44 -05:00

📋 Pull Request Information

Original PR: https://github.com/RPCS3/discord-bot/pull/277
Author: @dio-gh
Created: 4/4/2019
Status: ❌ Closed

Base: master ← Head: patch-1

📝 Commits (2)

3a95e4e prevent getting cucked
93d0d37 meme fix (typo fix)

📊 Changes

1 file changed (+3 additions, -3 deletions)

View changed files

📝 CompatBot/Commands/CommandsManagement.cs (+3 -3)

📄 Description

No description provided

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/RPCS3/discord-bot/pull/277 **Author:** [@dio-gh](https://github.com/dio-gh) **Created:** 4/4/2019 **Status:** ❌ Closed **Base:** `master` ← **Head:** `patch-1` --- ### 📝 Commits (2) - [`3a95e4e`](https://github.com/RPCS3/discord-bot/commit/3a95e4eff2e66c8f87701a040bebba29db8f0e2f) prevent getting cucked - [`93d0d37`](https://github.com/RPCS3/discord-bot/commit/93d0d37b5b3cb1a2ac5d982246fc05a1f839330e) meme fix (typo fix) ### 📊 Changes **1 file changed** (+3 additions, -3 deletions) <details> <summary>View changed files</summary> 📝 `CompatBot/Commands/CommandsManagement.cs` (+3 -3) </details> ### 📄 Description _No description provided_ --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>

yindo added the pull-request label 2026-02-15 15:55:44 -05:00

yindo closed this issue

2026-02-15 15:55:44 -05:00

yindo referenced this issue

2026-02-15 15:55:55 -05:00

[PR #352] [MERGED] Detect another kind of socket deadlock #427

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: RPCS3/discord-bot#352