minor improvements from general discussion and #85

SharkCagey / SharkCage

1 stars 3 forks source link

Closed DonatJR closed 6 years ago

DonatJR commented 6 years ago

@SailReal Message to user from our static analysis discussion @bencikpeter Changes from your comment in #85