This script was broken for the last few days and I couldn't figure out why.
Turns out it was checking for the existence of a file that got renamed,
so rename it in here too.
Fixes:
|
||
|---|---|---|
| .. | ||
| get_reviewer.pl | ||
This script was broken for the last few days and I couldn't figure out why.
Turns out it was checking for the existence of a file that got renamed,
so rename it in here too.
Fixes:
|
||
|---|---|---|
| .. | ||
| get_reviewer.pl | ||