In general, it is a good idea to use git commit --amend
to edit in the issue number of an issue before pushing: that way people have a better chance of locating it in the issue tracker.
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Anonymous
-
2020-02-02
labels: --> Fixed_2_21_0
status: Started --> Fixed
Patch: push -->
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Passes make,make check an a full make doc.
Patch on countdown for January 25th, but these is a question from Dan E on Rietveld.
Leaving on countdown as question from Dan E was not answered.
rebase; const
https://codereview.appspot.com/573400043
Fails make
fix compile error
https://codereview.appspot.com/573400043
Passes make, make check and a full make doc.
Patch on countdown for Jan 31st.
Patch counted down - please push.
Patch counted down - please push.
In general, it is a good idea to use
git commit --amendto edit in the issue number of an issue before pushing: that way people have a better chance of locating it in the issue tracker.