next up previous contents
Next: Known Bugs Up: Bugs and Release Notes Previous: Bugs and Release Notes   Contents

Recent changes in repository

This section gives the changes made since the last documentation release (as dated above). The changes are available in the working repository, but may not be distributed in any standard Gildas release yet.



Gildas manager 2023-06-01