linuxmint/Cinnamon — pull request #1172 by ebbes (2012-09-21 14:02:37+00:00)
Title: Fix settings description

Don't know where this "date-format" is used, but it definitely does not determine whether panel uses autohide.