Completed
Pull Request — 2.x (#160)
by
unknown
02:43
created

No notable changes

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

9.51
▶   ± 0
Head
Oskar Stark  
Merge ed202abaf2ef1854b028ff660831b110753eaa71 into 2b53d0fcd5f2dc68072b0224a5535d9e612ae76a
1 more commit
Base
Oskar Stark  
added captions to TOC tree in docs (#158)