3 ms·We've just added the Patent Grant to all the repos. Thanks for pointing this out.by Mugurm 12y agoWe've just added the Patent Grant to all the repos. Thanks for pointing this out.