tree 583c9ebd571d74587a85d6b9464419222b7aaf8b
parent b3afa8164460d63031a80d399200bcaa769c0fa1
author Ebrahim Byagowi <ebrahim@gnu.org> 1570138863 +0330
committer Ebrahim Byagowi <ebrahim@gnu.org> 1570339752 +0330

[gvar] minor