[B.A.T.M.A.N.] Announcement: batman 0.1.2 released