db39bf - Remove patch which worked around segfault on ARM. Now fixed

Authored and Committed by rjones 8 years ago
    - Remove patch which worked around segfault on ARM.  Now fixed
      in OCaml >= 3.12.1-9.
    
        
file modified
+9 -8