diff options
| author | Joe Conway | 2019-04-27 13:28:04 +0000 |
|---|---|---|
| committer | Joe Conway | 2019-04-27 13:28:04 +0000 |
| commit | 870ce7e315e7f9568398c60ea2a9c6a32aafba41 (patch) | |
| tree | 0023e84182a93697b45dbb755ef8ad46cb4c468a /doc/KNOWN_BUGS | |
| parent | 578cb33dfbf4757478b1856d5a5726915270e95d (diff) | |
Correct the URL pointing to PL/R
As pointed out by documentation comment, the URL for PL/R
needs to be updated to the correct current repository. Back-patch
to all supported branches.
Diffstat (limited to 'doc/KNOWN_BUGS')
0 files changed, 0 insertions, 0 deletions