Closed Luca0208 closed 8 years ago
Seems like no-one(with write permissions) is online right now :/ well, sooner or later someone will see this
@Luca0208 and @justsomeoneelseagain, please note that GitHub Issues aren't a place for chat. There's no need stating the obvious (no offence intended):
well, sooner or later someone will see this
As for the PR itself, thanks for pointing this out. Generally, updates to any standards are not permitted, but I think we can allow it this time @oeed.
@viluon I'd say updates that change what the format is aren't allowed, but formatting changes are fine.
You´re right. Can someone merge it? @oeed @viluon