Merge pull request #142246 from romildo/upd.jwm-settings-manager
jwm-settings-manager: 2018-10-19 -> 2019-01-27
authored by José Romildo Malaquias and committed by GitHub 4 years ago 9e2d9250 4e0e756d