https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92805
--- Comment #8 from kargl at gcc dot gnu.org --- (In reply to Thomas Koenig from comment #7) > (In reply to kargl from comment #6) > > > No. I do not do git and have little time/need/interest > > in learning. > > In that case, I hope you don't mind if I take this up. > > I'm just learning git myself (having semi-messed up my > first commit :-). Fine with me.