Commit 1b067082711eda286492e4c99427a32d6ac7a34b

Nick Wellnhofer 2024-07-12T15:19:26

save: Always serialize CR as decimal "
" We used to serialize CR as "
" when there was no encoding and we weren't in an attribute. This was somewhat inconsistent.