[marmotta] Git Push Summary

[dglachs]

Repository: marmotta
Updated Branches:
  refs/heads/MARMOTTA-673-https_support_in_client_lib [deleted] 9e3b3a6d0