Release Date: Thu, February 1, 2018 at 3:02 PM UTC
Release Author: Henrik Levkowetz
This is a small bugfix release related to the new non-wg mailing list index
page, in preparation for merging in the IPR changes branch:
Changed the menu entry for non-wg lists to point at our own page.
Added view caching of the non-wg list index.
Fixed 2 bugs in import_mailman_listinfo; one typo and one bug which
prevented updating of lists that changed from advertised to not advertised.