]> WPIA git - gigi.git/commitdiff
fix: Properly handle initialization of profiles and finalize them when done
authorBenny Baumann <BenBE@geshi.org>
Fri, 5 Jun 2015 17:02:25 +0000 (19:02 +0200)
committerFelix Dörre <felix@dogcraft.de>
Sun, 2 Aug 2015 18:48:06 +0000 (20:48 +0200)

No differences found