tree f66bb01d0d4de166ebb0ccaadae36254996efd32
parent 0d9a20dc31e1718c7226a8ab024a37394f4e68ca
author gwenn <gtreguier@gmail.com> 1490552603 +0200
committer gwenn <gtreguier@gmail.com> 1490552603 +0200

Improve kill ring related code