diff --git a/AUTHORS b/AUTHORS index 76344452c..a5c05d605 100644 --- a/AUTHORS +++ b/AUTHORS @@ -46,6 +46,7 @@ The following submitted code, packages or analysis, and deserve special thanks: Tomas Cech Duane Waddle Stefan Keel + Christopher J. Pilkington Thanks to the following, who submitted detailed bug reports and excellent suggestions: diff --git a/ChangeLog b/ChangeLog index 9cb0af900..6405ecedc 100644 --- a/ChangeLog +++ b/ChangeLog @@ -71,6 +71,8 @@ report column (thanks to Duane Waddle). + Fixed bug #762, #763, so that modifications to tasks are considered 'write' commands, and therefore update shadow files (thanks to Aikido Guy). + + Applied patch for Bug #770, which fixed a broken build (thanks to Christopher + J. Pilkington). # Untracked Bugs, biggest first. diff --git a/src/util.cpp b/src/util.cpp index 647eebdf7..30e879eeb 100644 --- a/src/util.cpp +++ b/src/util.cpp @@ -35,6 +35,7 @@ #include #include #include +#include #include #include #include