merged with the fix for #134
released 1.12.4