Completed
Pull Request — master (#363)
by
unknown
07:55
created

No notable changes

There were no notable changes in the changeset which was inspected.

8.26
▶   ± 0
Head
Bernhard Zürn  
Merge 278a6c87c4ba343b1131c559e437a47300baf19e into a6cde129bb6a1c529f387ffb3b3adee06bfda97b
1 more commit
Base
jonathanjfshaw  
Doc fix for term references (#350)