<div dir="ltr"><p dir="ltr">I saw in the 18rc1 release notes a change of interest to me
 "Own Id: OTP-12448". I grepped through the git log and searched github 
issues for 12448 but have not found anything.</p>
<p dir="ltr">Is there a system where the bugs are indexed by that number?</p>
<p dir="ltr">What is the git commit corresponding to that number?</p>
<p dir="ltr">Thanks in advance,<br>
Nicolas</p></div>