From Usenet Big-8 Management Board

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.