http://fiji.sc/bugzilla/show_bug.cgi?id=752
Curtis Rueden <[email protected]> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|REOPENED |RESOLVED Resolution|--- |FIXED --- Comment #14 from Curtis Rueden <[email protected]> --- 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 [email protected] http://imagej.net/mailman/listinfo/imagej-devel
