bump mib versions #84

Merged
muellerr merged 1 commits from bump-mib-versions into main 2023-09-26 23:02:56 +02:00