SIGN IN SIGN UP

lua: actually unobserve properties in mp.unobserve_property()

Not doing this looked like a memory leak.

This looks like an oversight in the commit that added it: a94020e25bc5f,
possible brain damage?

Fixes: #6823
W
wm4 committed
962a9fa9812eacd25dd96ce6bf3c0f7cdce4df1c
Parent: bc2058f