diff options
| author | Maria Matejka <mq@ucw.cz> | 2022-09-01 10:39:56 +0200 |
|---|---|---|
| committer | Maria Matejka <mq@ucw.cz> | 2022-09-01 18:46:40 +0200 |
| commit | dd786e338c4adccee7077c8ecfaf56df2831ee4c (patch) | |
| tree | aa990e8b61a20532e780a12cec9e4cbad87d061e /.dir-locals.el | |
| parent | cd628d124dbdcfdbd870b3df5840cc6888d36f9d (diff) | |
ROA subscriptions are also converted to export requests.
By this, the requesting channels do the timers in their own loops,
avoiding unnecessary synchronization when the central timer went off.
This is of course less effective for now, yet it allows to easily
implement selective reloads in future.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions