You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Thomas Kluyver 477332696b Work on changelog for 5.0 ... We seem to have missed the extension that defines Github issue & PR links until now.		9 years ago
..
github.py	Work on changelog for 5.0	9 years ago