Summary of changes: b4199b9... Fix a debuginfo regression (#967954) (*) e42c2ef... Add a comment so we won't forget again (*) (*) This commit already existed in another branch; no separate mail sent