June 2, 2014
8:10 p.m.
Hi Eliot: On 02 Jun 2014, at 22:02, Eliot Miranda <eliot.miranda@gmail.com> wrote:
I've added those entries with this pull request: https://github.com/pharo-project/pharo-vm/pull/49
What's the easiest way to convert a pull request into either a) a diff which can be used with patch?
GitHub magic: https://github.com/pharo-project/pharo-vm/pull/49.diff or https://github.com/pharo-project/pharo-vm/pull/49.patch as you like. Best regards Stefan -- Stefan Marr INRIA Lille - Nord Europe http://stefan-marr.de/research/