[tor-bugs] #28008 [Core Tor/Tor]: shellcheck: coverage script issues

[Tor Bug Tracker & Wiki]

#28008: shellcheck: coverage script issues
----------------------------+------------------------------------
 Reporter:  rl1987          |          Owner:  (none)
     Type:  defect          |         Status:  merge_ready
 Priority:  Medium          |      Milestone:  Tor: 0.4.0.x-final
Component:  Core Tor/Tor    |        Version:
 Severity:  Normal          |     Resolution:
 Keywords:  technical-debt  |  Actual Points:
Parent ID:                  |         Points:
 Reviewer:  asn             |        Sponsor:
----------------------------+------------------------------------
Changes (by asn):

 * status:  needs_review => merge_ready


Comment:

 LGTM!

 Please find PR with branch rebased to latest master (where appveyor
 passes) here:
 https://github.com/torproject/tor/pull/518

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/28008#comment:5>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online