On Mon, 9 Sep 2019, Jose E. Marchesi wrote: > I just committed the port to svn trunk, in a single commit, yay!
Congratulations! > Many thanks to you, richard, seguer and the other reviewers for the > great feedback and suggestions. What got committed is certainly WAY > better than what I submitted initially. Happy to hear. :-) > Now the real fun starts :)) I noticed that https://gcc.gnu.org does not have a news item related to this contribution. Would you mind adding one? (Our web pages are now in GIT, cf. https://gcc.gnu.org/about.html - let me know if you need help.) Also gcc/doc/contrib.texi doesn't know anyone by your name yet. Happy to change this; let's sync off list? Gerald
