https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92805
--- Comment #7 from Thomas Koenig <tkoenig at gcc dot gnu.org> --- (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 :-).