[FIX] web_tip: use env.user to compare to a res.users recordset
Merge branch 'master' of https://github.com/odoo/odoo into master-linux64