tree 8e1c282e1a4f5ee72c65e4b776dfc0d805576518
parent 58015215321a76d68df8e0d51039904a67291108
author Ebrahim Byagowi <ebrahim@gnu.org> 1431004172 +0000
committer Ebrahim Byagowi <ebrahim@gnu.org> 1431004403 +0000

Fix Travis CI config to pass again