[SCM] polybori: Polynomials over Boolean Rings branch, master, updated. upstream/0.8.2-174-g5b14c47

[Alexander Dreyer]

The following commit has been merged in the master branch:
commit 5b14c470554f11d712916f31f2513fcb9bc03ea1
Merge: 878e9e5899b85e266b93d6acc5cbf9e0ca756816 2324095833cc4b8cdc9eda4a560fe6240b308a17
Author: Alexander Dreyer <adreyer at gmx.de>
Date:   Mon Jan 28 22:50:53 2013 +0100

    Merge branch 'upstream'


-- 
polybori: Polynomials over Boolean Rings