tree e71223810dcb3ebb69ae66316e9f12f7c42f72c3
parent 86b29082363a2465cf4dcc121d7482919ee1f267
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1415237882 +0100
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1417513255 +0100

Fix warning in reduced configs