notedown icon indicating copy to clipboard operation
notedown copied to clipboard

Published 20 hours ago • verified publisher icon aaren

get rid of six

Open fchapoton opened this issue 4 years ago • 3 comments

fchapoton avatar Nov 03 '20 15:11 fchapoton

ping ? a rather simple and easy change

fchapoton avatar Nov 24 '20 07:11 fchapoton

really a simple change ; should be quick to check ; please merge

fchapoton avatar Jun 12 '21 09:06 fchapoton

ping ?

fchapoton avatar Aug 01 '21 16:08 fchapoton