Build #15 (Dec 5, 2018 11:20:43 PM)

1. replacing dots with underscores in operationIds (detail)

Started by GitLab push by Michele Carignani

• origin/fix-operation-ids