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
..
2019-07-03 14:11:00 +01:00
2019-11-03 11:50:45 +01:00
2019-04-10 13:31:17 +01:00