Merge branch 'other'
Merge branch 'patch'
Version 19.8.1 (2014-06-28)