Completed
Push — master ( 3ad517...88a74d )
by Andrea
01:15
created

No notable changes

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

6.5
▶   ± 0
Head
Andrea Biancini  
Modified logger for metadata refresh batch
Base
Andrea Biancini  
Merge branch 'master' of github.com:GEANT/met