v1.2.3

18372368+chakravala@users.noreply.github.com

d96b06a1 · revised subtype promotion, fixed #26 · Oct 03, 2019

upgraded to revision 5129 with bug fixes