Looks and works great:

(Don't wonder about the weird version numbers, this is my local development database and is not up2date :D)

Feel free to merge whenever you are ready to. It requires a deployment (service restart + sync pages), I can quickly do this.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.