diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2019-05-07 10:50:28 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-05-07 12:18:44 +0200 |
| commit | 6c5790a2faf8ffc401e43b13425a707394e40874 (patch) | |
| tree | 9e22384039a5b35a1d829a758abff1f41f750fa6 /gnu/packages/patches/python-flint-includes.patch | |
| parent | 08c06cd8acbd960c483292f9c3df32fe304ef04f (diff) | |
uuid: 'fat-uuid->string' preserves leading zeros.
Fixes <https://bugs.gnu.org/35582>.
Reported by sirgazil <sirgazil@zoho.com>.
Previously, leading zeros would be removed, leading to an "invalid"
UUID:
(uuid->string (uuid "00CA-050E" 'fat32))
⇒ "CA-50E"
(string->uuid "CA-50E" 'fat32)
⇒ #f
* gnu/system/uuid.scm (fat-uuid->string): Pad digits with zeros.
* tests/uuid.scm ("uuid, FAT32, leading zeros preserved"): New test.
Diffstat (limited to 'gnu/packages/patches/python-flint-includes.patch')
0 files changed, 0 insertions, 0 deletions