Thomas Kluyver 477332696b Work on changelog for 5.0 ... We seem to have missed the extension that defines Github issue & PR links until now.		2017-02-07 15:37:09 +00:00
..
github.py	Work on changelog for 5.0	2017-02-07 15:37:09 +00:00