Robin Munn

Results 61 issues of Robin Munn

**Is your feature request related to a problem? Please describe.** [Microsoft will no longer support Internet Explorer starting August 17, 2021](https://techcommunity.microsoft.com/t5/microsoft-365-blog/microsoft-365-apps-say-farewell-to-internet-explorer-11-and/ba-p/1591666), and in fact their Microsoft Teams feature has already...

**Is your feature request related to a problem? Please describe.** I often want to show lists preceded by some kind of header, but only show the header if the list...

### Description Running `dotnet paket update` on a brand-new project using FAKE produced a StackOverflowException while trying to resolve dependencies. I created the project using the [MiniScaffold template](https://github.com/TheAngryByrd/MiniScaffold) (`dotnet new...

## Describe feature By Unix convention, if a tool accepts a filename as input, the filename `-` (a single hyphen) will be interpreted as "read from stdin" so that the...

kind/feature-request

Currently the `router { }` CE has no way to allow a HEAD request to be handled. A HEAD request [is supposed to](https://developer.mozilla.org/en-US/docs/Web/HTTP/Methods/HEAD) return the headers, but not the body,...

enhancement
up for grabs

This is an initial implementation of #269, looking for feedback. Things I think should be added before this PR is ready to merge: 1\. Using `get_head` in the same router...

**Describe the bug** When running the WatchDocs target, if docsTool exits with a non-zero exit code due to an exception being thrown, the watcher fails to resume watching the file....

bug

I have an API which includes a `Map` field: ```fsharp type ProjectDetails = { identifier : string name : string description : string membership : Map // Keys are usernames,...

bug
Waiting Fable fix

**Description** When creating a Docker image that was almost, but not quite, 1 billion bytes in size, I noticed that `docker image ls` reported the size as `1e+03MB` instead of...

exp/beginner
kind/enhancement
area/ux

In https://github.com/sveltejs/svelte/pull/6750, there is a proposed change to the StartStopNotifier type of Svelte stores, which will be a breaking change for anyone creating custom stores. See the PR for details,...