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

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) ;
}

I believe you will get a warm reception at Issues · arduino/Arduino · GitHub, make sure you check the open issues to avoid a duplicate bug report.

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!