Migration to version 15.0 and missing pos_margin module

[david19942]

Hi,
I'm migrating my database from v14 to v15 and I'm running into the problem that the module is migrated for v14 and v16, but not for v15, and openupgrade is giving a warning that it's not installed.

According to what I see in the modules that still need to be migrated, the pos_margin module is still listed.

Right here:
#719

Any ideas on how to get it?

Thank you