Message289866
Something is strange: PRs 709, 723, 724 are shown as open in the "Pull Requests" section on this page. However, all four PRs are already merged.
Are other see the same? Shouldn't status be automatically updated? |
|
Date |
User |
Action |
Args |
2017-03-19 23:10:25 | levkivskyi | set | recipients:
+ levkivskyi, rhettinger, terry.reedy, ned.deily, serhiy.storchaka, xiang.zhang, Jim Fasarakis-Hilliard |
2017-03-19 23:10:25 | levkivskyi | set | messageid: <1489965025.11.0.885787282062.issue29116@psf.upfronthosting.co.za> |
2017-03-19 23:10:25 | levkivskyi | link | issue29116 messages |
2017-03-19 23:10:25 | levkivskyi | create | |
|