Sort:  

I'm pretty sure it made it into hardfork 13 (https://github.com/steemit/steem/labels/HARDFORK)

Yeah, it should be there. But there's just the issue in the label, no references to any commits. I've searched through the commit history and can't find anything. Weird. I've asked for the commit info in the issue thread.