Pretty Pull Requests (Github) / VersiegeschiedenisPretty Pull Requests (Github) · VersiegeschiedenisThis extension applies various tweaks to the github pull-request code review pages.Kies de versie om te downloaden2.11.131 jan 2018MV2