> A patch with the typo corrected and NS32K added to the obsolete list > in config.bfd is approved, provided that you can confirm that the > NS32K is no longer supported. Sorry to be slow to get back to you, Nick. I believe I've done both of those things, and also tested it a few ways.