| commit | 7c073b65a5c80cde38d67bc1f7915f8498100eb1 | [log] [tgz] |
|---|---|---|
| author | Antonio García-Domínguez <agarcdomi@gmail.com> | Wed Jun 03 12:18:47 2020 +0100 |
| committer | Antonio García-Domínguez <agarcdomi@gmail.com> | Wed Jun 03 12:18:54 2020 +0100 |
| tree | 933923211794fbbbea67dee89fe8b96bfaf78cde | |
| parent | a791a302379f30c156c18afc9c1938862cd35819 [diff] |
HUIManager: avoid contention with activators of contributing plugins
