Diff gnuconfig-20190912 with a gnuconfig-20200621

Thank you!