[gambit-list] Gerbil v0.12 is out!