Shane Pearman

update dependencies

1

I had error coming from winit: ``` thread 'main' panicked at 'attempted to leave type `platform::platform::x11::util::input::PointerState

Fixes #330

In the cloned repo, the enumflags crate is version "0.3.0" and the enumflags_derive crate is "0.4.0", but on crates.io they are both "0.4.1"

Round trip through serialization breaks determinacy

1

I think this behavior is acceptable, but it took me a little while to debug what was going on. Maybe a note should be added to the documentation. Here is...

This library might be better implemented as a procedural macro.

Here's an example, seems to be the case for various integer/bit combinations of i32 and i64s: ``` use cordic; use fixed; type Ftype = fixed::types::I16F16; type Itype = i32; fn...

[Typo] Exercise 2 in chapter 9 should be plusR_succ_left instead of plus_succ_left?

1

https://github.com/leanprover/fp-lean/blob/7eefe73cba60f23ab60cd1ad194c08d254e5ce42/functional-programming-lean/src/tactics-induction-proofs.md?plain=1#L283 The exercise states: * Rewrite the proof of `plus_succ_left` to use `` in a single line. `plus_succ_left` doesn't appear anywhere else in the text, but `plusR_succ_left` does.

Add support for repositories with git submodules

5

### Steps to reproduce the bug with the above code I have a [crate](https://gitlab.com/spearman/nativesys-rs) that includes several workspace members as git submodules in the repository. I want to check if...

Bridge rm Error: invalid key prefix

2

I created a bridge to a gitlab repo and configured it. However when I try to `git bug bridge pull` I got `Error: missing identity token` so I figured I...