diff --git a/_sips/sips/2014-06-27-42.type.md b/_sips/sips/2014-06-27-42.type.md index 4603974c37..361764d2e4 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: 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 index 3b297d8e27..cdfcccba5d 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: pending +vote-status: completed permalink: /sips/:title.html ---