http://fiji.sc/bugzilla/show_bug.cgi?id=752
Curtis Rueden <ctrue...@wisc.edu> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|REOPENED |RESOLVED
Resolution|--- |FIXED
--- Comment #14 from Curtis Rueden <ctrue...@wisc.edu> ---
I am guessing the "git push" failure was a temporary GitHub outage. In the
future, it is probably sufficient to just try "git push" again after an hour or
two.
I see that Wayne did manage to successfully push the fix:
https://github.com/imagej/imagej1/commit/c03d956e0d661d2793f59b77515faa0c71005fd7
So the bug is closed. Thanks!
--
You are receiving this mail because:
You are the assignee for the bug.
_______________________________________________
ImageJ-devel mailing list
ImageJ-devel@imagej.net
http://imagej.net/mailman/listinfo/imagej-devel
