Results 17 issues of Nicolas Ettlin

The [API documentation for Scala 3](https://www.scala-lang.org/files/archive/api/3.x/) is missing from DevDocs. The [documentation versions report](https://github.com/freeCodeCamp/devdocs/issues/1669) indicates that the Scala documentation is up to date, while it isn’t: the latest scraper version...

docs/update
help wanted

The flags for Switzerland and Vatican City are currently displayed as non-square rectangles, while they should be square (see [Wikipedia](https://en.wikipedia.org/wiki/Flag_of_Switzerland)).

Hello, The https://www.scala-lang.org/api/current/ URL currently shows documentation for the latest Scala 2 version. I would expect it to lead to https://www.scala-lang.org/api/3.x/ instead. Is the current behavior expected?

The glyph for the narrow no-break space seems to be missing. Could it be possible to add it?

This PR modifies the implementation of the Button component in order to fix a bug where the button shadow renders on top of the button itself. I verified manually that...

On lines 761 and 1119 of `greatest.h`, `fprintf` is used. Shouldn’t `GREATEST_FPRINTF` be used instead, to allow the usage of the library in cases where `fprintf` isn’t available and the...

bug

# Bug report ## OS information macOS 12.5.1 / Firefox 106 ## Steps to reproduce * Open https://devdocs.io/openjdk~8/ or https://devdocs.io/openjdk~11/ (versions 17, 18 and 19 work correctly). * Search for...

bug

#### Summary Fixes #381 Removes the `.github/pull_request_template.md` file, which serves the same purposes as `.github/PULL_REQUEST_TEMPLATE.md` but is less recent. --- For us to review and ship your PR efficiently, please...

**Describe the bug** The repository contains two pull request templates: `.github/PULL_REQUEST_TEMPLATE.md` and `.github/pull_request_template.md`. As they share the same name (capitalization aside), this also causes issues on case-insensitive filesystems. **Can you...

bug

https://developer.apple.com/documentation/mapkitjs/mapkit/annotation/2973819-callout

enhancement