From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 30 Jul 2017 21:39:56 +0000 (-0700)
Subject: Update version number to 0.10.5-pre3.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=08767a7c0d9b6f719c307baa8d264f989a65d7a3;hp=08767a7c0d9b6f719c307baa8d264f989a65d7a3;p=pspp

Update version number to 0.10.5-pre3.

This pre-release is primarily to get the CVE-2017-10791 and CVE-2017-10792
fixes into a tarball for folks who find tarballs easier to work with.
---