mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-18 19:04:27 -04:00
[PR #44] [MERGED] Support logs with multiple runs #164
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/RPCS3/discord-bot/pull/44
Author: @13xforever
Created: 6/2/2018
Status: ✅ Merged
Merged: 6/7/2018
Merged by: @Nicba1010
Base:
master← Head:parse_last_run📝 Commits (4)
ea89cd0Support logs with multiple runsedf660bbetter buffer managementa669186Proper support for old and new format of OpenGL info9bc86a3Give GL RENDERER device higher priority to show correct device selected by the switchable graphics with OpenGL renderer📊 Changes
2 files changed (+119 additions, -41 deletions)
View changed files
📝
bot.py(+13 -8)📝
log_analyzer.py(+106 -33)📄 Description
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.