tree c46a4ec83f68dda7d5b1d9d3e382106c5a138280
parent 5be0c43539d040848f8513e1e35756178c99e70f
author Gilles Sadowski <gilleseran@gmail.com> 1586736565 +0200
committer Gilles Sadowski <gilleseran@gmail.com> 1586736565 +0200

Specify cache for "Travis".

Cf. https://markmail.org/message/vhwelfs2qypyvo4l