Hello, Ludovic Courtès skribis: > profiles: Add '%current-profile', 'user-friendly-profile', & co. > packages: Add 'package-patched-vulnerabilities'. > profiles: Add 'properties' field to manifest entries. > profiles: Record fixed vulnerabilities as properties of entries. > DRAFT Add 'guix health'. I’ve just pushed the first three patches and the new ‘guix pull’ uses properties already. Ludo’.