➜
This issue tracker has been migrated to GitHub,
and is currently read-only.
For more information,
see the GitHub FAQs in the Python's Developer Guide.
| URL | PR 14974 |
|---|---|
| Status | merged |
| Title | [3.8] bpo-17535: Increase line number horizontal padding by 2 pixels (GH-14959) |
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2019-07-27 03:46:55 | miss-islington | set | status: open -> merged |
| 2019-07-27 03:25:24 | miss-islington | link | issue17535 pull_requests |
| 2019-07-27 03:25:24 | miss-islington | create | |