Bugfix: last_changed would always print current time.

diff --git a/Tools/faqwiz/faqwiz.py b/Tools/faqwiz/faqwiz.py
index e721425190772e08754b76284eeaa6986710fdad..06e1ab5106c118a145dcb6cfcd65fecf68212103 100644 (file)
--- a/Tools/faqwiz/faqwiz.py
+++ b/Tools/faqwiz/faqwiz.py
@@ -489,7 +489,7 @@ class FaqWizard:
                mtime = mtime = entry.getmtime()
                if mtime > latest:
                    latest = mtime
-       print time.strftime(LAST_CHANGED, time.localtime(now))
+       print time.strftime(LAST_CHANGED, time.localtime(latest))
        emit(EXPLAIN_MARKS)
 
     def format_all(self, files, edit=1, headers=1):