It’s already patched according to the authors. Details were not specified.