Date format in top bar ignores user settings
Since upgrading to Fedora 30, with Gnome 3.32, the top bar displays the date as "Month Day", despite the "Region & Language" -> "Formats" option being set to "Dutch (Netherlands)"; where "Day Month (Year)" is customary.