tree d2a92b0ff2f49bafc005057fe48c497f2729333d
parent 6b298e6cc1fc6ffcf0b7da5759002c36195ecb0c
author Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1416504581 +0100
committer Manuel Pégourié-Gonnard <mpg@elzevir.fr> 1417106685 +0100

Fix comment on resumption