[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging annotated tag, debian/1.3pl1-4, created. debian/1.3pl1-4

[Stephane Glondu]

The annotated tag, debian/1.3pl1-4 has been created
        at  2137c925b78723b39a2806f9e2343c74b9a0ef3e (tag)
   tagging  0aa06f9906f85c4a63dfd79991fc4af082933e19 (commit)
  replaces  debian/1.3pl1-3
 tagged by  Stephane Glondu
        on  Sun Apr 24 15:12:26 2011 +0200

- Shortlog ------------------------------------------------------------
Debian release 1.3pl1-4
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.11 (GNU/Linux)

iQIcBAABCgAGBQJNtCG6AAoJEHhT2k1JiBrTIjYP+gN7im5SGP8xMjJD+r/ozRAm
bSDro/zdV8jRYESsUvqhFg+lGa3+NJooePpzSTuAvE9feZetRidmGFZHAjEMub/T
t/udaTGYHLYpsJ8dMTp/L0mybtRzae9bIPAv8lYMOqnbSKTdADA0gRxj+ouRFrZH
q9d2k12OCBkVkSkPrHJITEOd4xkW4YTywgkKEVcsQ1gJE9cNYwjS6uMNFfBg3E1a
r9FNYHC18DF2SQXjMXfXtkaAVzkGBqfb4jdt6CAWjQ8qeMKjiPkhYvetddgiG3IY
pwXrEOarb9rRxrmZ14HAtxk5IhVk5CwR1FAMg0e6kLX5vmY/8mXMsbELeBJRDOvb
x72u30TajuEZp/O4U3p6ELrbXyIFiGI/5i6pwuBnPuGarMPFI8l5hBe0KKE84W+1
xmSl/65uyRfGq3bs1NROecMq4mT6oUaBgmiZTnPxgsIQUH9UDymcjgSVLlxYvqWW
NS0b1JISmomZrBswGsV4EEAXlcfidy/SzsNXo63UwCST0xSHsck1QAP/rfffzCFx
dCXGq6FWwxcB4k1WDyUeGNSToGzGTI6nrfGbCG8faRA+NxcflVQ53tcW7bUl6iM8
StRpeJJt9OHa+QvkJdx4Q2s6NIf7pmn3M+ENuYrIckU9qcJsHCb96xSopGc/N+h9
xQW+IpycH5fKHJIILnpW
=FMLK
-----END PGP SIGNATURE-----

Stephane Glondu (3):
      Build theories only when explicitly asked
      Notice in README.source about arch:all package
      Update changelog and prepare upload to unstable

-----------------------------------------------------------------------

-- 
ssreflect packaging