Update sign.{txt,jax}#412

Merged

mnishz merged 5 commits intomasterfrom

Jan 1, 2019

Commits on Dec 29, 2018

Commits on Dec 30, 2018

Update txt and jax
h-east
committed

Commits on Dec 31, 2018

Fix: review pointed out
h-east
committed