Completed
Pull Request — devel (#1300)
by
unknown
02:55
created

No notable changes

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

7.42
▶   ± 0
Head
Jeroen Vermeulen  
Merge 4ef963582d92b1458a16260d5d652ec78a47c9a0 into 03eb75e5701a6200e6bb3692e0f87947a4ca81e6
1 more commit
Base
Miguel Balparda  
Merge pull request #1298 from nickua/patch-2