tree 234a9d06c2ee52f55c3c9155cfbc17b1fbacc089
parent 603060efe39d3de60556715201165bb97fc0a560
author Guillaume Garzone <guillaume.garzone@laas.fr> 1603818168 +0100
committer Guillaume Garzone <guillaume.garzone@laas.fr> 1603818168 +0100

Fix Bug 568310 by adding the missing header in requests sent by the webpage.