3.31.3

Christopher Davis

@BrainBlasted

e0e57681 · icons: Add icons to EXTRA_DIST · Dec 10, 2018

Release 3.31.3

See NEWS file for changelog.