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/efi-boot-generator | |
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/efi-boot-generator')
0 files changed, 0 insertions, 0 deletions