diff options
Diffstat (limited to '0001-put-RHEL-info-into-generated-headers.patch')
| -rw-r--r-- | 0001-put-RHEL-info-into-generated-headers.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/0001-put-RHEL-info-into-generated-headers.patch b/0001-put-RHEL-info-into-generated-headers.patch index 9eddf0eb5..d685a501d 100644 --- a/0001-put-RHEL-info-into-generated-headers.patch +++ b/0001-put-RHEL-info-into-generated-headers.patch @@ -1,4 +1,4 @@ -From da9305d9e609caa087077d5e5715e2a10c572b11 Mon Sep 17 00:00:00 2001 +From f3ab1720aa5ca7a342502679ca6aea44271c348e Mon Sep 17 00:00:00 2001 From: Laura Abbott <labbott@redhat.com> Date: Mon, 7 Jan 2019 20:55:21 +0000 Subject: [PATCH] put RHEL info into generated headers |