Minutes/2023-05-19: Difference between revisions
From Usenet Big-8 Management Board
(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...") |
(No difference)
|
Latest revision as of 16:18, 19 May 2023
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.
