diff options
| author | Lucas Lefèvre <lul@odoo.com> | 2019-03-01 12:29:24 +0100 |
|---|---|---|
| committer | Yannick Tivisse <yti@odoo.com> | 2019-03-19 09:33:07 +0100 |
| commit | f1fca6dc81c30135777744750a48b069cbb994f4 (patch) | |
| tree | 536642cfdb46a355f5cc3bfea8b38645afa4da52 /addons/web/static/src/js/views/basic/basic_controller.js | |
| parent | b8805b1d069f6553e1ff8d7684ecf946774cf1d6 (diff) | |
[FIX] hr_holidays: Group team leader imply group user
Currently, group Team Leader does not imply group user.
However a team leader is always a user and should be member of
the corresponding group.
Diffstat (limited to 'addons/web/static/src/js/views/basic/basic_controller.js')
0 files changed, 0 insertions, 0 deletions