Release version 1.12 (#127)

@andreeamatei or  @andreieftimie could one of you please have a look at?