diff options
Diffstat (limited to 'community/w3m/gc72.patch')
| -rw-r--r-- | community/w3m/gc72.patch | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/community/w3m/gc72.patch b/community/w3m/gc72.patch deleted file mode 100644 index 47bd4c85c8..0000000000 --- a/community/w3m/gc72.patch +++ /dev/null @@ -1,13 +0,0 @@ -diff -Naur old/main.c new/main.c ---- old/main.c 2011-01-04 20:42:19.000000000 +1100 -+++ new/main.c 2012-07-04 21:49:10.136212236 +1000 -@@ -833,7 +833,8 @@ - mySignal(SIGPIPE, SigPipe); - #endif - -- orig_GC_warn_proc = GC_set_warn_proc(wrap_GC_warn_proc); -+ orig_GC_warn_proc = GC_get_warn_proc(); -+ GC_set_warn_proc(wrap_GC_warn_proc); - err_msg = Strnew(); - if (load_argc == 0) { - /* no URL specified */ |