Skip to content

Merge pull request #468 from markus-wa/fix-player-bot-disconnect #670

Merge pull request #468 from markus-wa/fix-player-bot-disconnect

Merge pull request #468 from markus-wa/fix-player-bot-disconnect #670

Triggered via push November 12, 2023 11:37
Status Success
Total duration 18s
Artifacts

mirror.yml

on: push
Mirror to GitLab
9s
Mirror to GitLab
Fit to window
Zoom out
Zoom in