- From: Michael van Ouwerkerk <notifications@github.com>
- Date: Mon, 25 Jul 2016 02:19:24 -0700
- To: w3c/push-api <push-api@noreply.github.com>
Received on Monday, 25 July 2016 09:19:55 UTC
@annevk : It seems it's duplication of a one-line typedef, which at this point is basically just there to improve readability. It looks ok to me, but I'm not attached to it, we could just as well delete it if it causes confusion. --- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/w3c/push-api/issues/204#issuecomment-234902066
Received on Monday, 25 July 2016 09:19:55 UTC