Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix for bug reported by Jim Westervelt #1

Merged
merged 6 commits into from
Oct 29, 2011
Merged

Conversation

erussell
Copy link
Collaborator

The fix for that bug is in commit 0bbee58, but you may want to pull in my other changes as well.

@SethTisue
Copy link
Collaborator

thanks Eric!

@SethTisue SethTisue closed this Oct 29, 2011
SethTisue added a commit that referenced this pull request Oct 29, 2011
Fix for bug reported by Jim Westervelt
@SethTisue SethTisue merged commit d9212a8 into NetLogo:master Oct 29, 2011
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants