anarcat
anarcat
added docs and changelog entries for this - anything missing?
> Needs to be rebased. What are the odds of this being merged if I go through that effort? That PR has been idle for two years without feedback so...
i resolved the merge conflict at least now...
update: sphinx_rtd_theme supports this fine, if you run a good enough version. :)
apparently, this is fixed in neomutt (according to `juliank`): "you can cancel a query at any time, and it returns all results found so far" so this issue should probably...
It seems like a common problem that Android cannot play ogg streams correctly. Here's a library that seems to implement that correctly: https://github.com/radzio/AndroidOggStreamPlayer
hmm... i am not sure how that version differs...