Pop comments

Results 30 comments of

Pop

Create bookmark from share sheet

This would be really nice to have!

BadResponse Error when trying to login

Did you try to manually request the API and see if the cookie header is being set? Also, please provide more information on how you produce the error, and please...

problem when trying to add torrent from disk

Thanks for pointing out! Would you like to make a PR?

New storage backend: OpenDAL

If this looks good to you, should I proceed with the PR?

Feature to disable uses of atomic64?

For whom may encounter this issue in future: I have encountered the same problem and made a [fork](https://github.com/George-Miao/packed_struct.rs) of `packed_struct` with changes mentioned by @hcabel. It's three commits older than...

feat: add azblob storage backend with opendal

I have updated the dependency

feat: add azblob storage backend with opendal

> We have compilation errors when the `azblob` feature is switched off. `unftp_sbe_gcs` will also cause the compilation error when default features are turned off. Is that on purpose?

Call for editors

Hi! I'm quite intereted in the editor thing. What is the qualification needed for being an editor? I do have some experience with Rust, but not much on writing and...

manual proof mode should never result in a state where "There are no more subgoals" but Qed claims there are remaining open goals

Hi! I can reproduce this error with the latest version: ```coq Goal True. Proof. apply I. Qed. ``` I'm using nix, here is my flake.nix: ```nix { inputs = {...