Completed
Push — master ( 7f19d4...83f3f2 )
by Filippo
06:20 queued 03:36
created

No notable changes

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

8.33
▶   ± 0
Head
Filippo Fadda  
fixed a documentation problem
Base
Filippo Fadda  
improved documentation