Mike will release the patch to debian and we will most likely cherry pick the patch and apply it to a ubuntux release.
Mike will release the patch to debian and we will most likely cherry pick the patch and apply it to a ubuntux release.