Closed phaverty closed 8 years ago
great , thanks. just come back to work from vacation, will merge this in the weekend
merge the request and also add you to collaborators, so you can direct commit to github
Great, thanks!
Pete
Peter M. Haverty, Ph.D. Genentech, Inc. phaverty@gene.com
On Fri, Aug 19, 2016 at 6:46 PM, Yu Gong notifications@github.com wrote:
Merged #43 https://github.com/armgong/rjulia/pull/43.
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/armgong/rjulia/pull/43#event-761949708, or mute the thread https://github.com/notifications/unsubscribe-auth/AH02K1ZNstheQfzx5jGu_GtyYUVQEvTvks5qhlxzgaJpZM4Jmw4A .
This branch is now fully functional with julia 0.5 rc2. Please have a look and let me know what you think.