Changing timezone?

diff --git a/doc/assets/js/docs.js b/doc/assets/js/docs.js
index 533bf5a04970b6b69c997f05ca4389180c600784..3f8b67df7c6913b31aa5e1c92cc94d7d425c124a 100644 (file)
--- a/doc/assets/js/docs.js
+++ b/doc/assets/js/docs.js
@@ -155,5 +155,5 @@ function initializeClock(id, endtime){
   var timeinterval = setInterval(updateClock,1000);
 }
 
-var deadline = 'Thurs, 19 Nov 2015 10:15:00 PDT';
+var deadline = 'Thurs, 19 Nov 2015 10:15:00 PST';
 initializeClock('clockdiv', deadline);