Jonathan Widén

I cannot edit the "Join us on our mission" block on the non-profit template, not when entering edit mode nor when editing in-line. This is the effects I am experiencing:...

I cannot create another site with the same URL as an already-existing site. It would be cool if you could do that, so you could clone one site to make...

When I press the "primo blocks" tab, no blocks load and they all just keep spinning with a "loading icon". This error is repeated in the console: ``` Error: Request...

`#let x=(..none)` doesn't parse as intended: it should parse as spreading `none` into an array but it parses as spreading it into a dict. Since the array parser has priority...

Add `flatten`, `flatten_right` and `flatten_left` methods

2

I think the Either crate is really good, and here are some methods I would love to see: ## `flatten` I think there should be a flatten method, like for...

Skip checking twice for non-zero status code in `StatusCode::from_u16`

4

See this code snippet, `status.rs` lines `72-81`: ```rs #[inline] pub fn from_u16(src: u16) -> Result { if !(100..1000).contains(&src) { return Err(InvalidStatusCode::new()); } NonZeroU16::new(src) .map(StatusCode) .ok_or_else(InvalidStatusCode::new) } ``` Here, we use...

Doing `C-c C-a` to invoke Agda-mode on Agda 2.7.0 fails with the following error: ``` Something went wrong when parsing S-expressions. Error code: S4 "cannot read: IOTCM "[path-to-file].agda" NonInteractive Direct(...