The value should use divide instead of modulo, as given 1st of month
being weekday X (Mon, Tue, ...), 01 is always X[1], 08 is X[2], e.t.c.
This values is currently not observable, as there is no user-accessible
format specifier that will print it, however it may be exposed in future.
libstdc++-v3/ChangeLog:
* include/bits/chrono_io.h (_ChronoData::_M_fill_day): Replace
'%' by '/'.
{
_M_day = __d;
__parts -= _ChronoParts::_Day;
- _M_weekday_index = ((unsigned)__d + 6u) % 7u;
+ _M_weekday_index = ((unsigned)__d + 6u) / 7u;
__parts -= _ChronoParts::_WeekdayIndex;
return __parts;
}