release 1.2.12, add @flomotlik to THANKS