The device page https://openwrt.org/toh/mikrotik/mikrotik_rbm33g is not reachable any more.
The "old revisions link" links a completely different device: https://openwrt.org/toh/xiaomi/xiaomi_r3p_pro?do=revisions
I tried to fix it,but looking into the list of revisions, the only thing i can see there is a name change from mikrotik_rbm33gto rbm33g. But https://openwrt.org/toh/mikrotik/rbm33g links back to https://openwrt.org/toh/mikrotik/mikrotik_rbm33g again.
What can i do to resolve this?