Fixes #2094 (closed)
Merge details
Newest first
Oldest first
Show all activity
Show comments only
Show history only
Merged by: dpvc at 2020-02-17 21:21:04 UTC
closed
changed milestone to %v2.7.8
Davide P. Cervone 5 years ago (Feb 17, 2020 9:21pm UTC) 