July 15, 2022
-
accept old_safe versions with higher minor version
Hanno Böck authored on 2022-07-15 12:39:50
July 8, 2022
July 4, 2022
July 1, 2022
June 27, 2022
June 16, 2022
May 23, 2022
-
add newline at end of json files to make them more suitable for editors who always want a newline at EOF
Hanno Böck authored on 2022-05-23 18:32:02
April 23, 2022