mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
25b90139f0
Move around the code pertaining to the notification broker, making the various roles a bit clearer. This also de-couple the broker logic from the local revng daemon.