04:23
<jmdyck>
PR #3705 un-defined id 'sec-returnifabrupt-shorthands', which could reasonably be an oldid for 'sec-shorthands-for-unwrapping-completion-records'
14:52
<Michael Ficarra>
sounds reasonable