diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2022-11-06 12:12:47 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@redhat.com> | 2022-11-06 12:12:47 +0100 |
| commit | 89d0a14a1fdf89d38d9db1156ffde8c1b276823c (patch) | |
| tree | 93c4f1851f9df95237a003020371fdf2b59ff1c4 /ChangeLog | |
| parent | 05788e9b951199e0947cf70d62feaf9d051a4b46 (diff) | |
Manually add ChangeLog entries from r13-3652-ge4cba49413ca429dc82f6aa2e88129ecb3fdd943
This commit caused failure of update_version_git due to the removal of
liboffloadmic with ChangeLog in it, so I had to blacklist that commit
and here I'm adding ChangeLog entries manually.
Diffstat (limited to 'ChangeLog')
| -rw-r--r-- | ChangeLog | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/ChangeLog b/ChangeLog index f99789e016d..612319ffa13 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,10 @@ +2022-11-04 Thomas Schwinge <thomas@codesourcery.com> + + * Makefile.def: Remove module 'liboffloadmic'. + * Makefile.in: Regenerate. + * configure.ac: Remove 'liboffloadmic' handling. + * configure: Regenerate. + 2022-10-31 Ramana Radhakrishnan <ramana.radhakrishnan@arm.com> * MAINTAINERS: Update email address. |