tree 67275f5e48a98fad92481a1599f0e6ad6610a9e1
parent a0c63baf77e49058499008c1a763e1b69763877e
author Adrien Destugues <pulkomandy@pulkomandy.tk> 1453674659 +0100
committer Adrien Destugues <pulkomandy@pulkomandy.tk> 1453674659 +0100

Some more optimizations.