ada: Fix minor glitch in finish_record_type
[official-gcc.git] / gcc / DATESTAMP
blob987b8019ffa85ac5d145f9b22e8559e1925ca1e0
1 20230915