Completed
Pull Request — master (#977)
by
unknown
18:21 queued 03:19
created

No notable changes

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

6.71
▶   ± 0
Head
nnvai47  
Merge bb4a084ef6b86cc534de9272f424c668c0e8d8d8 into 12c888cd03e4d5fe33995d1ef30f65d668b572cc
1 more commit
Base
Thomas Mangin  
formating changes