Completed
Push — dev-4.1-unstable ( 1e0b4b...38bef3 )
by Felipe A.
55s
created

No notable changes

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

9.25
▶   ± 0
Head
ergoithz  
improve doc sidebar
Base
ergoithz  
avoid travis-sphinx breaking builds