r109778 MediaWiki - Code Review archive

Repository:MediaWiki
Revision:r109777‎ | r109778 | r109779 >
Date:23:17, 22 January 2012
Author:tstarling
Status:ok
Tags:
Comment:
Don't strip symbols, deadlocks are still occurring and we need to find out why
Modified paths:
  • /trunk/php/wmerrors/debian/changelog (modified) (history)
  • /trunk/php/wmerrors/debian/rules (modified) (history)

Diff [purge]

Index: trunk/php/wmerrors/debian/changelog
@@ -1,3 +1,9 @@
 2+php5-wmerrors (1.1.4-1) lucid-wikimedia; urgency=low
 3+
 4+ * Don't strip symbols
 5+
 6+ -- Tim Starling <tstarling@wikimedia.org> Sun, 22 Jan 2012 15:15:49 -0800
 7+
28 php5-wmerrors (1.1.3-1) lucid; urgency=low
39
410 * Added a workaround for https://bugs.php.net/bug.php?id=31749 . Do a flush
Index: trunk/php/wmerrors/debian/rules
@@ -86,7 +86,7 @@
8787 # dh_installinfo
8888 dh_installman
8989 dh_link
90 - dh_strip
 90+# dh_strip
9191 dh_compress
9292 dh_fixperms
9393 # dh_perl

Status & tagging log