[PATCH] ed: Update to version 1.20