From: Lady Date: Wed, 22 May 2024 04:29:51 +0000 (-0400) Subject: FORCE on type updates X-Git-Tag: 0.9.1~1 X-Git-Url: https://git.ladys.computer/Shushe/commitdiff_plain/1b8607a9b87e197993fd6b699a570e268a288b08?ds=inline;hp=1b8607a9b87e197993fd6b699a570e268a288b08 FORCE on type updates When this was originally implemented, I’m not sure `FORCE` was defined, but it’s needed now for `diffprereqs` so there’s no reason why not to use it here as well. ---