better savepoint locations #1221

Merged
merged 3 commits into from Apr 8, 2013

Conversation

Projects
None yet
1 participant
Member

didory123 commented Apr 7, 2013

Fixes #1137

didory123 merged commit 43981e5 into hawkthorne:master Apr 8, 2013

1 check passed

default The Travis build passed
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment