Completed
Push — develop ( eb44bf...723be8 )
by David
03:13
created

No notable changes

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

9.25
▶   ± 0
Head
David Riccitelli  
update travis configurations
Base
David Riccitelli  
see #852: fix double menu