diff --git a/_sips/sips/2014-06-27-42.type.md b/_sips/sips/2014-06-27-42.type.md index 361764d2e4..f9ba3c7836 100644 --- 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: completed +vote-status: complete 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 index cdfcccba5d..350e7880b8 100644 --- 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: completed +vote-status: complete permalink: /sips/:title.html ---