diff options
| author | Tom Gundersen <teg@jklm.no> | 2015-07-21 20:17:21 +0200 |
|---|---|---|
| committer | Tom Gundersen <teg@jklm.no> | 2015-07-21 20:17:21 +0200 |
| commit | 899c4195c68943dfc6b0323e912077abfef73e7a (patch) | |
| tree | e844bbf8cc859305c2e8633f1a79fcddf35b05e0 /src/boot/efi | |
| parent | 0a327854f8613b7a52a80c1f3f8fc3100fb9df58 (diff) | |
| parent | 3567afa5b4775cf74bc92617cc716b4f4c28a120 (diff) | |
Merge pull request #648 from michich/udev-log-priority
udev.log-priority crash fix and cleanup
Diffstat (limited to 'src/boot/efi')
0 files changed, 0 insertions, 0 deletions