diff --git a/notes/mred/HISTORY b/notes/mred/HISTORY index 64603bb5..00b7528c 100644 --- a/notes/mred/HISTORY +++ b/notes/mred/HISTORY @@ -1,3 +1,9 @@ +101/7: + + * Fixed choice% size for X with horizontal label (PR 1213) + + * Fixed bad calls to get-extent in media-edit% (PR 1218) + 101/6: * Added 'symbol font family