mirror of
https://github.com/MariaDB/server.git
synced 2025-02-03 04:21:41 +01:00
b075191ba8
fix up version detection in debian/additions/innotop after 10->11 |
||
---|---|---|
.. | ||
changelog.innotop | ||
innotop | ||
innotop.1 |