Marko Dimjašević
Marko Dimjašević
I am using a CalDAV calendar. Please let me know if this is not supported or if I should be using something else. Note this is not a Google calendar....
In the chapter on isomorphism in a section "Isomorphism is an equivalence", there is a proof that isomorphism is reflexive. From the text I got an impression that the `refl`...
At https://github.com/tootsuite/documentation/blame/master/content/en/_index.md#L9 an introductory video to Mastodon is hosted on [YouTube](https://youtu.be/IPSbNdBmWKE). In the spirit of federation and decentralization, how about hosting the video on a PeerTube instance instead?
## Checklist - [ ] The **PR Title** explains the impact of the change. - [ ] The **PR description** provides context as to why the change should occur and...
This is part of https://wearezeta.atlassian.net/browse/FS-434. ## Checklist - [x] The **PR Title** explains the impact of the change. - [x] The **PR description** provides context as to why the change...
## Checklist - [ ] The **PR Title** explains the impact of the change. - [ ] The **PR description** provides context as to why the change should occur and...
This is a WIP PR. Still to do: - [ ] It is missing some `Swagger` instances. GHC reports the missing ones. - [ ] It also lacks golden tests...
**DO NOT MERGE** ... before Sept 2022 and/or before most deployments are on chart version >= 4.1.0. In case this is merged and deployed before 4.1.0 was deployed first, a...
Dear all, Is this project active? The description of the project states: "(deprecated) language bindings for ev3dev sensors, motors, LEDs, etc." Is this project superseded by another project? I was...
Tracked by https://wearezeta.atlassian.net/browse/FS-919. ## Checklist - [ ] Add a new entry in an appropriate subdirectory of `changelog.d` - [ ] Read and follow the [PR guidelines](https://docs.wire.com/developer/developer/pr-guidelines.html)