add link with travis to GitHub releases (fixes #698)#703

Open

law-lin wants to merge 4 commits intomasterfrom travis-link

+6-1

Commits on May 16, 2020

Commits on May 20, 2020

change release_notes to body
law-lin
committed