[ImageJ-devel] [Bug 752] "Profile Plot Options..." exception via macro/batch mode

[bugzilla at fiji.sc]

http://fiji.sc/bugzilla/show_bug.cgi?id=752

Curtis Rueden <ctrueden at wisc.edu> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
         Resolution|---                         |FIXED

--- Comment #14 from Curtis Rueden <ctrueden at 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://imagej.net/pipermail/imagej-devel/attachments/20140616/d7ea1ef0/attachment.html>