Michael 7ee9aad6ca Some more unneeded settings removed		2020-02-19 19:31:55 +00:00
..
duepuntozero
frio	Some more unneeded settings removed	2020-02-19 19:31:55 +00:00
quattro
smoothly
vier	Merge pull request #8309 from annando/remote-comment	2020-02-18 13:29:11 -05:00