Closed jankeromnes closed 7 years ago
Requested by @paulrouget (thanks for the suggestion!)
Trivial change, merging without review.
Requested by @paulrouget (thanks for the suggestion!)