mirror of
https://github.com/wxWidgets/wxWidgets.git
synced 2026-08-17 17:02:51 +08:00
This ensures that dates are printed out correctly if comparing them fails. It might be better to avoid always including this header, but this is the simplest solution.