xbmc.getRegions returns bad strftime formatting - Kodi for PC IOS Football Addons IPTV M3u Sports

I’m assuming this is a bug, but maybe I don’t understand the implementation of getRegions.

In user guisettings, <locale> has the following settings:

Code:
<longdateformat>DDDD, DD MMMM YYYY</longdateformat>

<timeformat>HH:mm:ss</timeformat>

xbmc.getRegions(‘datelong’) returns

Code:
%A, %d%d %B %Y

xbmc.getRegions(‘time’) returns

Code:
%H%H:%M:%S

I’m assuming the intent of getRegions is to provide a string that can be used directly in strftime(fmt) method? If so getRegions should be returning

Code:
%A, %d %B %Y

%H:%M:%S

per python ref :

%d Day of the month as a zero-padded decimal number.
%H Hour (24-hour clock) as a zero-padded decimal number.

scott s.
.