[vlc-devel] [MRs] bug: cannot resolve thread *after* merge

Marvin Scholz epirat07 at gmail.com
Sun May 2 22:07:50 UTC 2021

This sounds more like something you should report
on GitLab issue tracker, not the VLC mailing list.

On 3 May 2021, at 0:03, Lyndon Brown wrote:

> On Sun, 2021-05-02 at 22:33 +0100, Lyndon Brown wrote:
>> Oh, and I'll just also mention in case it's been unnoticed - there's
>> a
>> CSS bug in a lack of bottom padding on the 'merge' widget. :p
> Specifically that's class `mr-widget-info` missing `padding-bottom=16`.
> The main widget content (`mr-widget-body`) has correct padding.
> This impacts the "Allows commits from members who can merge to the
> target branch " text which appears up against the widget border.
> _______________________________________________
> vlc-devel mailing list
> To unsubscribe or modify your subscription options:
> https://mailman.videolan.org/listinfo/vlc-devel

More information about the vlc-devel mailing list