guest20 6ccd6853d4 Rename Public-Source-Repo-Issues.txt to Public-Source-Repo-Issues.json ...

This file is full of json, which might upset someone writing a script that assumes *.txt files are just url fragments....

2020-05-24 13:07:50 +02:00

15 KiB

Raw Blame History

View Raw