span.value-time title time format incorrect

When I use the shortcode plugin to generate a list of events, I get code like this:

<span class="duration time">
    <span class="date-start dtstart">2 December @ 3:00pm
        <span class="value-title" title="2015-12-02GMT03:00"></span>
    </span>
     -
    <span class="end-time dtend">5:00pm
        <span class="value-title" title="2015-12-02GMT05:00"></span>
    </span>
</span>

As you can see, the actual times are e.g. 3pm but the timestamp is 3am.

I have traced this to /the-events-calendar/src/functions/template-tags/general.php lines 1083-1084 which read e.g.:

$microformatStartFormat = tribe_get_start_date( $event, false, 'Y-m-dTh:i' );

but which I think should read:

$microformatStartFormat = tribe_get_start_date( $event, false, 'Y-m-dTH:i' );

as ‘h’ means 12 hour format and ‘H’ 24 hour format.

I have tested this change and it seems to do the trick.

https://wordpress.org/plugins/the-events-calendar/