Make runtime_events optional
authorStéphane Glondu <glondu@debian.org>
Thu, 20 Jun 2024 01:00:37 +0000 (03:00 +0200)
committerStéphane Glondu <glondu@debian.org>
Thu, 20 Jun 2024 02:26:30 +0000 (04:26 +0200)
commitd848f2f6379179e6fa8ebfdc5a6c69474ad44223
treeee39eedabe99f30fab20d963a22f740b53c8e36c
parent34a75930adbff02733c7e91e53afda4e5b3edfc9
Make runtime_events optional
debian/patches/0010-Make-runtime_events-optional.patch [new file with mode: 0644]
debian/patches/series