Revision cb37ff94653f05ade0daa6bd0cad2b422f251d86

Committed on 16/01/2019 7:10 am by Andrew Longosz <[email protected]> [GitHub Diff]

Merge branch '6.7' into 6.13