https://github.com/GPflow/GPflow
Revision 3fd78aadb73498f1955087463478f52deb20d871 authored by st-- on 14 April 2020, 16:57:44 UTC, committed by GitHub on 14 April 2020, 16:57:44 UTC
The "other issue" template wasn't being pulled in by GitHub's "new issue chooser"(https://github.com/GPflow/GPflow/issues/new/choose) because of a parsing failure due to the use of quotes in the name: field, which is fixed by this PR (changed version obtained by putting the text with quotes into GitHub's "create an issue template" interface). Includes a few minor copyedits.
1 parent 5a5603d
Raw File
Tip revision: 3fd78aadb73498f1955087463478f52deb20d871 authored by st-- on 14 April 2020, 16:57:44 UTC
fix other-issue.md issue template (#1432)
Tip revision: 3fd78aa
VERSION
2.0.0
back to top