Dan Christensen
Dan Christensen
## Have you checked borgbackup docs, FAQ, and open Github issues? Yes. ## Is this a BUG / ISSUE report or a QUESTION? Possible bug. ## System information. For client/server...
I'm using Ubuntu's davmail 5.5.1.3299-5 package on a laptop. I have davmail configured for SMTP, but nothing else (no IMAP). So davmail is doing nothing, except when I send an...
On my X1 Extreme Gen 4, the CPU package temp and core temps often briefly spike up, but then immediately drop down. This causes thinkfan to turn the fans on,...
This is one way to address the questions raised in Issue #227. Let me know what you think. I'd also be inclined to remove the timestamp, and am happy to...
1) mailnag doesn't include the program name in the logs sent to syslog. For example, I see lines like: ``` Nov 21 12:52:39 hostname INFO (2021-11-21 12:52:39): Checking 1 email...
For example, `factor1` and `factor2` conflict with the ones defined in Factorization.v. Maybe they can be made into `Local` definitions? Probably some other things aren't intended to be global as...
This started as a discussion in #1472. Working with equivalences has been very slow lately. Here's a test script that shows the issue and works with multiple versions of the...
`BAut X` is defined to be `{ Z : Type & merely (Z = X) }`. When `O : Type -> Type` is a `Subuniverse` (so its values are hprops),...
Since this was discussed in a merged pull request, #1204, I thought I should record a few things in an issue so they aren't lost. See #1204 for some more...
- [x] I have read the [FAQ](https://github.com/Genymobile/scrcpy/blob/master/FAQ.md). - [x] I have searched in existing [issues](https://github.com/Genymobile/scrcpy/issues). **Environment** - OS: Ubuntu 22.04, Gnome flashback, metacity, X (not wayland) - scrcpy version: 1.24...