Ben Elliston wrote:
On Wed, Jan 09, 2019 at 04:47:11PM -0600, Jacob Bachmeyer wrote:
So, how is the patch review going? :-)
Check git log. :-) I committed it on 2nd Jan. Sorry I didn't say so
explicitly --I figured you would notice on a subsequent git pull.
When I think that I have a particularly complex patch pending that has
already been revised once and may need to be revised again, I tend to
hold off "git pull" for a while in an effort to ensure that I will only
have to deal with a "merge rebase" to regenerate the patch against a new
HEAD at most once. (Those are a pain. There is probably a better way
to use Git for this, but I do not yet know it.)
I normally *do* check the Web interface, but somehow that fell through
the proverbial cracks this time... oops. :-)
-- Jacob
_______________________________________________
DejaGnu mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/dejagnu
