delay() issue - where to best report Due bugs?

Hardware Arduino Due
#1

Has anyone noticed the glaring bug in Due delay() function?

void delay( uint32_t ms )
{
    uint32_t end = GetTickCount() + ms;
    while (GetTickCount() < end)
    	yield();
}

[ Namely failure to deal with wrap-around ]

Suggested fix:

void delay (uint32_t ms)
{
  if (ms == 0)
    return ;
  uint32_t start = GetTickCount () ;
  do { yield () ; } while (GetTickCount() - start < ms) ;
}
#2

I believe you will get a warm reception at https://github.com/arduino/Arduino/issues?page=1&state=open, make sure you check the open issues to avoid a duplicate bug report.

#3

Thanks - if they had simply copied the Wait() function from libsam's timetick.c and added the call to yield() it would have been fine!

#4