Stefano Volpe
Stefano Volpe
Still interested!
The one officially registered URI scheme for Matrix is `matrix:` (https://www.iana.org/assignments/uri-schemes/uri-schemes.xhtml), so IMO the way to go would be: - have Element X be a `matrix:` URI handler - have...
Similarly, one could also consider sharing rooms/contacts as `matrix:` URIs, rather than centralized `https://matrix.to` links.
I am a `musl` user, too, and I use Alpine as well. I was more lucky and have not encountered any segfaults so far, but `gcompat` is not that reliable...
Personally, this is what I am getting now: ``` Resolving dependencies... Build profile: -w ghc-9.4.8 -O1 In order, the following will be built (use -v for more details): - data-default-0.8.0.0...
My bad! Here is the actual error message now: ``` Resolving dependencies... Build profile: -w ghc-9.4.8 -O1 In order, the following will be built (use -v for more details): -...
I was able to reproduce this on 0.7.1, too, on a new Fedora device. After a bit, the names replaced the uuids.
In addition, it seems that `pandoc.scaffolding.Writer` is invoking `pandoc.scaffolding.Writer.Blocks` without passing `WriterOptions`. Is this the correct behaviour? The [docs](https://pandoc.org/custom-writers.html#reducing-boilerplate-with-pandoc.scaffolding.writer) don't mention `WriterOptions`, and the reference does not specify a signature...
@Grandkahuna43325 Yeah, logging would be nice.
"Goal of upgrades" as in, what versions of Agda and ALS I am upgrading to? If so, it is 2.7.0.1 for Agda and 0.2.6.3.0 for ALS. > (still working on...