Created attachment 88915 tentative patch
This patch is similar to the one proposed in comment #5, plus a warning. Will be pushed in the one posted in the previous comment does not work.
Created attachment 88915
tentative patch
This patch is similar to the one proposed in comment #5, plus a warning.
Will be pushed in the one posted in the previous comment does not work.