mirror of
https://github.com/odoo/runbot.git
synced 2025-03-17 00:15:47 +07:00
2 lines
78 B
Markdown
2 lines
78 B
Markdown
![]() |
FIX: when fetching an unknown PR and it's closed, don't lose that information
|