tree b4331dc2de9e78cde1b38ec91fd8b434baf609bf
parent d7c50ff0d65192fd2b7b80704e227fa108c06de3
author Ebrahim Byagowi <ebrahim@gnu.org> 1542310856 +0330
committer Ebrahim Byagowi <ebrahim@gnu.org> 1542313967 +0330

[subset] minor, adjust spaces