diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 32a75226727..9e0d643fea9 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+2013-11-20  Basile Starynkevitch  <basile@starynkevitch.net>
+
+        * plugin.def: Add comment about register_callback and
+        invoke_plugin_callbacks_full.
+
+        * plugin.c (register_callback, invoke_plugin_callbacks_full):
+        Handle PLUGIN_INCLUDE_FILE event.
+
 2013-11-20  Ulrich Weigand  <Ulrich.Weigand@de.ibm.com>
 
 	* config/rs6000/rs6000.c (rs6000_cannot_change_mode_class): Do not
diff --git a/gcc/plugin.c b/gcc/plugin.c
index d7dcb5f4d36..61d7fde0175 100644
--- a/gcc/plugin.c
+++ b/gcc/plugin.c
@@ -452,6 +452,7 @@ register_callback (const char *plugin_name,
       case PLUGIN_EARLY_GIMPLE_PASSES_START:
       case PLUGIN_EARLY_GIMPLE_PASSES_END:
       case PLUGIN_NEW_PASS:
+      case PLUGIN_INCLUDE_FILE:
         {
           struct callback_info *new_callback;
           if (!callback)
@@ -529,6 +530,7 @@ invoke_plugin_callbacks_full (int event, void *gcc_data)
       case PLUGIN_EARLY_GIMPLE_PASSES_START:
       case PLUGIN_EARLY_GIMPLE_PASSES_END:
       case PLUGIN_NEW_PASS:
+      case PLUGIN_INCLUDE_FILE:
         {
           /* Iterate over every callback registered with this event and
              call it.  */
diff --git a/gcc/plugin.def b/gcc/plugin.def
index 25a645854a7..154f01c0f80 100644
--- a/gcc/plugin.def
+++ b/gcc/plugin.def
@@ -97,6 +97,9 @@ DEFEVENT (PLUGIN_NEW_PASS)
    as a const char* pointer.  */
 DEFEVENT (PLUGIN_INCLUDE_FILE)
 
+/* When adding a new hard-coded plugin event, don't forget to edit in
+   file plugin.c the functions register_callback and
+   invoke_plugin_callbacks_full accordingly!  */
 
 /* After the hard-coded events above, plugins can dynamically allocate events
    at run time.