=> 2020-10-10 Merge branch 'dev' into release — 🔖 v0.4.0
=> 2020-10-10 Updated release notes
=> 2020-10-10 Player: Wider Play/Pause button
=> 2020-10-09 DocumentWidget: Animate players after tab change
=> 2020-10-09 Support Ogg Vorbis audio
=> 2020-10-09 Cleanup
=> 2020-10-09 Fixed memory leak on tab close
=> 2020-10-08 Player: Rewind button in the UI
=> 2020-10-08 Player: Play/pause button in the UI
=> 2020-10-08 Media: Images not processed until data is complete
=> 🔖 Tags | Repository This content has been proxied by September (3851b).Proxy Information
text/gemini; charset=utf-8