tree c72d767fb859cafbfb5068502294175f591876a8
parent 90abb9b8d15e13fd0ce8ed22412a7b3eb9f90212
parent 80fc1815ca66b760d810bbb4c816698b2f13edad
author Sean Muir <sean.muir@jkmsoftware.com> 1605812405 -0500
committer Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> 1605812405 -0500

Merge "Updates to preferences"