Completed
Push — development ( 7ed3d9...e19650 )
by Thomas
16s
created

No notable changes

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

8.15
▶   ± 0
Head
Thomas Eiling  
Merge pull request #740 from teiling88/misc/develop/fix-ocxml-interface
1 more commit
Base
Thomas Eiling  
Merge 3154219375cdd57b689d15ffb47b0243ed93b2f7 into 7ed3d94132d98a18d9170d54d940cfd664205544