Zaz Brown
Zaz Brown
Previously, the README instructions would require a GitHub account setup with SSH to clone the repository. The only advantage I can see of doing things this way is if you...
## Problem No way to view [public org repositories](https://gitlab.com/pages/org-mode). Even if I log in to GitLab, it seems I cannot even view a public repository in Organice unless I have...
### Qubes OS release 4.2.0 ### Brief summary In the interest of making SALT more accessible to end users (#8218), I propose allowing easy backup and restore of SALT states....
### Qubes OS release 4.2.1 ### Brief summary When sys-net uses the debian-12-xfce template, upgrading fedora-39 fails. This may have been an issue with a modified bash profile in the...
### Qubes OS release Qubes 4.2.0 ### Brief summary I was not able to install Qubes using the Qubes 4.2.0 ISO on a Ventoy multi-boot USB. Repeating the installation using...
The user configures their main Template VM how they want it, including installing packages and other customization. If they are using multiple templates, or if they switch to a new...
Fixes ``` lean4-lake-find-dir-in: Lisp nesting exceeds ‘max-lisp-eval-depth’: 1601 ```` See also Issue #90
#### Preliminary checks - [x] I am running the latest version (7.6.1) - [x] I have [read the Code of Conduct](https://github.com/kdeldycke/mail-deduplicate/blob/main/.github/code-of-conduct.md) - [x] I have checked there is not other...
#### Preliminary checks - [x] I am running the latest version - [x] I have [read the Code of Conduct](https://github.com/kdeldycke/mail-deduplicate/blob/main/.github/code-of-conduct.md) - [x] I have checked there is not other [Issues](https://github.com/kdeldycke/mail-deduplicate/issues)...
Lean 4 was released some time ago, so I was surprised to find the lean module installed lean3-mode. To avoid confusion, could we, at least for now, replace the cutesy...