@average-vr-56795: added feedback on the prefix-stripping PR. thanks for jumping on that!
a
average-vr-56795
05/10/2019, 4:30 PM
Cool, thanks!
average-vr-56795
05/10/2019, 4:31 PM
I will get that tidied up and merged on Monday - @hundreds-father-404 you should be able to cherry-pick it onto your in-progress branch to get its effects until I merge; the API won’t fundamentally change (though some silent ignorings which you shouldn’t run into will change into errors)