Closed AhMohsen46 closed 3 years ago
@ronaldtse will add a few tests and merge very soon, very sorry it was not visited in the last 10 days, was very busy on other tasks
this one is done https://github.com/interscript/interscript/issues/617, please @ronaldtse take a look, and merge if you think it's good to go Thank you
Thank you @AhMohsen46 ! Merging.
@AhMohsen46 is this ready to be merged? The only build failure is a known one, and we can merge if that’s the only failure.