tree 1342fc87f3372878eac762c3f6ebf1f23db96048
parent fca7c57fae3914f3e462dffdf46dd21b74ba29fd
author Tatu Saloranta <tatu.saloranta@iki.fi> 1564608384 -0700
committer Tatu Saloranta <tatu.saloranta@iki.fi> 1564608384 -0700

fix a minor copy-paste mistake from earlier commit