Peter Gervai Tue, 03 Sep 2024 10:28:55 -0700
Package: micro Version: 2.0.13-1 Severity: minor https://github.com/zyedidia/micro/releases/tag/v2.0.14
