Propagate its use.
@@ -1,3 +1,9 @@
2000-10-02 Akim Demaille <akim@epita.fr>
* src/LR0.h: New file.
* src/print.h: New file.
The note is not visible to the blocked user.