chore: fix socket typing in robot speech agent #33

Merged
9828273 merged 1 commits from fix/fix-socket-typing into dev 2025-12-03 14:26:47 +00:00
9828273 commented 2025-12-02 13:23:09 +00:00 (Migrated from git.science.uu.nl)

There are two lines changed. Check them.

There are two lines changed. Check them.
9828273 commented 2025-12-02 13:23:09 +00:00 (Migrated from git.science.uu.nl)

assigned to @9828273

assigned to @9828273
0950726 commented 2025-12-03 11:14:09 +00:00 (Migrated from git.science.uu.nl)

approved this merge request

approved this merge request
2584433 commented 2025-12-03 11:45:42 +00:00 (Migrated from git.science.uu.nl)

approved this merge request

approved this merge request
2584433 commented 2025-12-03 14:26:47 +00:00 (Migrated from git.science.uu.nl)

mentioned in commit de2e56ffce

mentioned in commit de2e56ffce96bb3265cfa43a2602feffe4fd5124
2584433 (Migrated from git.science.uu.nl) merged commit de2e56ffce into dev 2025-12-03 14:26:47 +00:00
0950726 (Migrated from git.science.uu.nl) approved these changes 2026-02-02 13:29:05 +00:00
2584433 (Migrated from git.science.uu.nl) approved these changes 2026-02-02 13:29:05 +00:00
Sign in to join this conversation.
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: pepperplus/pepperplus-cb#33