I would like to see https://gerrit.osmocom.org/#/c/1411/ fixed and merged.
Firstly, the way the code is written leaves it unclear whether it works as intended.
Secondly, this is blocking the effort to do more sanitizer builds in jenkins / gerrit build jobs.
Aravind, would you please provide feedback on your availability -- will you get around to this any time soon, or should we try to assign this to someone else?
Thanks!
~N