Tristan Miller: Created page with "Present: TM, RL * (Web)STUMP ** RL has identified the cause of the sed error in Salahuddin's output; this is a bug in STUMP that he has now fixed. RL has informed Salahuddin..."

2023-05-19T14:18:51Z

Created page with "Present: TM, RL * (Web)STUMP ** RL has identified the cause of the sed error in Salahuddin's output; this is a bug in STUMP that he has now fixed. RL has informed Salahuddin..."

New page

Present: TM, RL

* (Web)STUMP
** RL has identified the cause of the sed error in Salahuddin's output; this is a bug in STUMP that he has now fixed. RL has informed Salahuddin.
** RL communicated to Salahuddin how to disable strict PGP checking and suggested resubmitting the affected article with a new Date: header. So far no response from Salahuddin.
** RL noted that there seems to be duplicate copies of the (Web)STUMP documentation in different formats (HTML, Markdown, Texinfo). RL to ask JE which is the master version. RL has offered to start cleaning up the contents of the documentation once the master version is identified.

[[Category:Meeting minutes for 2023]]

Minutes/2023-05-19 - Revision history

Tristan Miller: Created page with "Present: TM, RL * (Web)STUMP ** RL has identified the cause of the sed error in Salahuddin's output; this is a bug in STUMP that he has now fixed. RL has informed Salahuddin..."