Completed
Push — devel ( 0d7842...b1155b )
by Miguel
03:30
created

No notable changes

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

7.42
▶   ± 0
Head
Miguel Balparda  
Resolving conflicts and fixing a bad merge.
Base
Miguel Balparda  
Resolving conflicts.