Comment 3 for bug 1890026

Revision history for this message
Jean-Philippe Guérard (fevrier) wrote :

Slightly improved version:
 * Get rid of the useless shopt.
 * Really read the session type.