haansn08
haansn08
For messages in a language like Japanese, where spaces are not used to separate words, search terms will only match a message if the message text begins with the search...
My smartphone model is **OPPO Reno3 A**. When I start a video call, my picture is rotated sideways (both front and back camera exhibit this behaviour): 
At [geo:47.56982,8.35154](https://www.openstreetmap.org/?mlat=47.56982&mlon=8.35154#map=17/47.56982/8.35154) there is a missing triangle, which should probably be added to the `ch` region.
The javascript syntax highlighting does not interpret the string delimiters `` ` ``, `"`, `'` correctly when used inside of a regular expression: 
My left output refuses to get screenshotted by `grim`:  As you can see the right output works fine :) stderr of grim with `WAYLAND_DEBUG=client` ``` [531637.416] -> [email protected]_registry(new id...
When setting the output position in sway to a negative coordinate, `slurp` behaves buggy. My configuration: ``` output VGA-1 pos 0 0 output DVI-I-1 pos 1600 -450 ``` The selection...
Consider following posts I published to my XMPP microblog: ```xml False Proof -- All Horses are the Same Color false-proof-all-horses-are-the-same-color 2011-07-16 Jeremy Kun https://jeremykun.com/ 8000-busy-beaver The 8000th Busy Beaver number...
I run into a problem when building MetaCoq 1.1 for Coq 8.16 from the [source release](https://github.com/MetaCoq/metacoq/releases/tag/v1.1-8.16). The full error is: ``` COQC theories/Loader.v File "./theories/Loader.v", line 4, characters 0-51: Error:...
This PR adds following facts to stdlib: * `pointwise_bounded_dec_ex_dec: (forall x, decidable (P x)) -> (forall x, P x -> x decidable (exists x, P x)`. * `decidable (Nat.divide a...
Double quotes in contact names (to indicate nicknames for example) like `Max "plew" Mustermann` are not escaped by auto-complete. For example `/info Max` would auto-complete to `/info "Max "plew" Mustermann"`...