Dmitry Kalinkin 592e750e2e
rivet: fix patch url
The old url is now broken. The new patch uses the new git repository.
2020-01-13 01:01:17 -05:00
..
2020-01-13 01:01:17 -05:00