Jeff Epler 9fd10322fe supervisor: rename some locals for clarity
It's perfectly OK for these variables with static linkage to have the
same name, but it's inconvenient for humans like me.
2020-07-20 08:45:31 -05:00
..
2019-10-21 18:57:03 -07:00
2020-01-23 20:16:31 -05:00
2020-05-15 15:36:16 -07:00
2020-03-17 12:11:11 -07:00
2019-08-27 15:21:47 -07:00
2020-06-29 17:15:01 -07:00
2020-05-15 15:36:16 -07:00
2020-05-15 15:36:16 -07:00