[request] drop the user argument for set_session
I see no code nor test that use this optional argument. removing it help to
clean the session code. The set_session function will soon be deprecated anyway (at the
same time than the dbapi)
related to #2503918
#! /bin/sh -e
#
if [ "$1" = remove -o "$1" = upgrade ]; then
if which install-docs >/dev/null 2>&1; then
install-docs -r cubicweb-doc
fi
fi
#DEBHELPER#
exit 0