Build #425 (Oct 17, 2019 2:17:37 PM)

1. Fix rest client intefaces (details / githubweb)

Started by an SCM change (2 times)

• refs/remotes/origin/version_3.1.7

• No warnings since build 59.
• New zero warnings highscore: no warnings for 1,191 days!

• Total Tests: 4 (±0)
• Failed Configurations: 0 (±0)
• Failed Tests: 0 (±0)
• Skipped Tests: 0 (±0)
• Skipped Configurations: 0 (±0)