Completed
Push — 3.x ( b4d9d1...1d1977 )
by Jordi Sala
03:15
created

No notable changes

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

9.23
▶   ± 0
Head
Oskar Stark  
added captions to TOC tree in docs (#238)
Base
Grégoire Paris  
Merge pull request #236 from greg0ire/fix_broken_build