diff options
| author | Janneke Nieuwenhuizen <janneke@gnu.org> | 2023-05-16 14:37:01 +0200 |
|---|---|---|
| committer | Damien Zammit <damien@zamaudio.com> | 2023-06-24 00:00:19 +1000 |
| commit | 5ee66d6377648ea269f472bb7f1f7c44d888628d (patch) | |
| tree | 5eeee27aa03d5690d49c0344ae3df9aa8e5d9341 | |
| parent | d3f3bd5e73dfc82eed610dc41af5a1346cebdf8a (diff) | |
patches/series: Fix typo.
* debian/patches/series: Oops, non-fhs-shell.
| -rw-r--r-- | debian/patches/series | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series index 0eddd6bf..ada206c3 100644 --- a/debian/patches/series +++ b/debian/patches/series @@ -19,4 +19,4 @@ linux crossbuild clean_libpci random -non-fsh-shell +non-fhs-shell |