• #dev 2017-06-30
  • Prev
    Next
  • #indieweb
  • #dev
  • #wordpress
  • #meta
  • #stream
  • #microformats
  • #known
  • #events
#dev ≡
  • ←
  • →
2017-06-30 UTC
# 14:19
Zegnat Hmm, maybe I should have done the merge locally so GitHub wouldn’t add the “extra” commit. I am always a little confused by merge workflows.