Revert "Make runtime_events optional"
authorStéphane Glondu <glondu@debian.org>
Fri, 21 Jun 2024 13:27:54 +0000 (15:27 +0200)
committerStéphane Glondu <glondu@debian.org>
Fri, 21 Jun 2024 13:27:54 +0000 (15:27 +0200)
commit01101ae115e2f9cec21ea259cbf441b86c8ca564
tree9bf94f44f6188badd702ae58a438e67399223e90
parenta744104aee63c7212300ad7ca6076df755157e36
Revert "Make runtime_events optional"

This reverts commit d848f2f6379179e6fa8ebfdc5a6c69474ad44223.
debian/patches/0010-Make-runtime_events-optional.patch [deleted file]
debian/patches/series