diff options
Diffstat (limited to 'doc/misc/ChangeLog')
| -rw-r--r-- | doc/misc/ChangeLog | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index 38cbaafa45d..d64980bd1c8 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog @@ -1,3 +1,8 @@ +2011-07-15 Lars Magne Ingebrigtsen <larsi@gnus.org> + + * flymake.texi (Example -- Configuring a tool called via make): + Use /dev/null instead of the Windows "nul" (bug#8715). + 2011-07-14 Lars Magne Ingebrigtsen <larsi@gnus.org> * widget.texi (Setting Up the Buffer): Remove mention of the |