Merge pull request #1237 from Dyalog/1236_dependencies#1239

JasonRivers merged 1 commit intoride4.5Dyalog/ride:ride4.5from

dependencies-ride4.5Dyalog/ride:dependencies-ride4.5Copy head branch name to clipboard