diff options
author | Thomas Huth <thuth@redhat.com> | 2021-04-16 19:13:14 +0200 |
---|---|---|
committer | Laurent Vivier <laurent@vivier.eu> | 2021-05-02 17:24:51 +0200 |
commit | ee86213aa3ff73c49ced340e4d409943a1f752a3 (patch) | |
tree | 1a6a095da03fe21529998e95458f9bd50247ffca /.github | |
parent | 2068cabd3fb1f46dbdd8b24eeaded89a4c9d85e1 (diff) |
Do not include exec/address-spaces.h if it's not really necessary
Stop including exec/address-spaces.h in files that don't need it.
Signed-off-by: Thomas Huth <thuth@redhat.com>
Message-Id: <20210416171314.2074665-5-thuth@redhat.com>
Signed-off-by: Laurent Vivier <laurent@vivier.eu>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions