mirror of
https://github.com/libre-tube/LibreTube.git
synced 2025-04-27 23:40:33 +05:30
c199d35913
* Made improvement to player double-tap further. * Minor fixes. * fix ktlint * Filter out null comments returned from Piped API. * Fixes: Labels under icons are not visible * Minor player controls UI improvements --------- Co-authored-by: Bnyro <bnyro@tutanota.com>