Closed ghost closed 5 years ago
@ghost Is there still an interest in getting this in?
@ghost is the user name of someone who deleted their GitHub account.
Ah 😆 I was wondering how they managed to get that nice handle 🙈 Thanks for the clarification.
Then I'll close this for now until there is another need for this.
Coverage increased (+0.02%) to 89.077% when pulling e05aa1e410f2a151508aed5d9e3629a0977b3ae5 on jas382:master into fb88b353414ba05d00b0b73784a30361cc40fc8f on SeismicData:master.