diff options
| author | Christophe Simonis <chs@odoo.com> | 2018-06-13 15:22:12 +0200 |
|---|---|---|
| committer | Christophe Simonis <chs@odoo.com> | 2018-06-14 17:17:13 +0200 |
| commit | 5233dbdb54ac03e52b991be0d0495b8a0a95b8c8 (patch) | |
| tree | 8190df898196ea33197d4dd1a9b21ee11e2d1bc6 /debian/postrm | |
| parent | c13d67dd25b63693c7a90012ce9eba59f12dc813 (diff) | |
[FIX] core: do not clear cache when removing registry from pool
No need to force other workers to reset their cache.
Diffstat (limited to 'debian/postrm')
0 files changed, 0 insertions, 0 deletions