Completed
Pull Request — master (#365)
by Pieter
02:41 queued 22s
created

Changes

Good job, 1 issue was fixed.
8.27
▶   ± 0
Head
Pieter Frenssen  
Merge c8242e7685bd408abf1a17b7beac0ba10010e14d into a6cde129bb6a1c529f387ffb3b3adee06bfda97b
1 more commit
Base
jonathanjfshaw  
Doc fix for term references (#350)