completed sips 23 and 33 (#953)

darjutak · jvican · commit 05de7514b994 · 2018-01-13T11:47:01.000+01:00
diff --git a/_sips/sips/2014-06-27-42.type.md b/_sips/sips/2014-06-27-42.type.md
@@ -3,7 +3,7 @@ layout: sip
 discourse: true
 title: SIP-23 - Literal-based singleton types
 
-vote-status: pending
+vote-status: completed 
 permalink: /sips/:title.html
 ---
 
diff --git a/_sips/sips/2017-02-07-priority-based-infix-type-precedence.md b/_sips/sips/2017-02-07-priority-based-infix-type-precedence.md
@@ -3,7 +3,7 @@ layout: sip
 discourse: true
 title: SIP-33 - Priority-based infix type precedence
 
-vote-status: pending
+vote-status: completed
 permalink: /sips/:title.html
 ---
 
