tree a454447fa1ae6b0a2b8c7aef2dc1dad3075f2ce8
parent f9945bc283aee4071fefa0004101a75fb1ed2864
author Manuel Pégourié-Gonnard <mpg2@elzevir.fr> 1445582921 +0200
committer Manuel Pégourié-Gonnard <mpg2@elzevir.fr> 1446034616 +0100

Fix warning in some reduced configs