On Fri, Feb 26, 2016 at 9:25 AM, Joel Sherrill <joel.sherr...@oarcorp.com> wrote: > Hi > > Is there something special needed to commit via git? I got an odd error > pushing some minor RTEMS patches and wondered what the proper procedure was.
What is "odd error"? H.J.
