[iip] new commits pushed by r12a

The following commits were just pushed by r12a to https://github.com/w3c/iip:

* guru-gap, Fix code bug (prompt script duplication)
  by r12a
https://github.com/w3c/iip/commit/69ff5289ce733893f5b7bb58d7911993a579f441



-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Wednesday, 27 January 2021 06:54:56 UTC